1/* SPDX-License-Identifier: GPL-2.0 */ 2 3#ifndef __ASMARM_ARCH_CNTVOFF_H 4#define __ASMARM_ARCH_CNTVOFF_H 5 6extern void secure_cntvoff_init(void); 7 8#endif
tjh.dev