/* SPDX-License-Identifier: GPL-2.0 */ #ifndef _ASM_LOONGARCH_PARAVIRT_H #define _ASM_LOONGARCH_PARAVIRT_H #ifdef CONFIG_PARAVIRT int __init pv_ipi_init(void); int __init pv_time_init(void); int __init pv_spinlock_init(void); #else static inline int pv_ipi_init(void) { return 0; } static inline int pv_time_init(void) { return 0; } static inline int pv_spinlock_init(void) { return 0; } #endif // CONFIG_PARAVIRT #endif