1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #ifndef _ASM_ARM64_PARAVIRT_H 3 #define _ASM_ARM64_PARAVIRT_H 4 5 #ifdef CONFIG_PARAVIRT 6 7 int __init pv_time_init(void); 8 9 #else 10 11 #define pv_time_init() do {} while (0) 12 13 #endif // CONFIG_PARAVIRT 14 15 #endif 16