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 #include <linux/static_call_types.h> 7 8 struct static_key; 9 extern struct static_key paravirt_steal_enabled; 10 extern struct static_key paravirt_steal_rq_enabled; 11 12 u64 dummy_steal_clock(int cpu); 13 14 DECLARE_STATIC_CALL(pv_steal_clock, dummy_steal_clock); 15 16 static inline u64 paravirt_steal_clock(int cpu) 17 { 18 return static_call(pv_steal_clock)(cpu); 19 } 20 21 int __init pv_time_init(void); 22 23 #else 24 25 #define pv_time_init() do {} while (0) 26 27 #endif // CONFIG_PARAVIRT 28 29 #endif 30