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