1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #ifndef _ASM_RISCV_PARAVIRT_H 3 #define _ASM_RISCV_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 #endif /* _ASM_RISCV_PARAVIRT_H */ 15