1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #ifndef _ASM_LOONGARCH_PARAVIRT_H 3 #define _ASM_LOONGARCH_PARAVIRT_H 4 5 #ifdef CONFIG_PARAVIRT 6 7 int __init pv_ipi_init(void); 8 int __init pv_time_init(void); 9 int __init pv_spinlock_init(void); 10 11 #else 12 13 static inline int pv_ipi_init(void) 14 { 15 return 0; 16 } 17 18 static inline int pv_time_init(void) 19 { 20 return 0; 21 } 22 23 static inline int pv_spinlock_init(void) 24 { 25 return 0; 26 } 27 28 #endif // CONFIG_PARAVIRT 29 #endif 30