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 
paravirt_steal_clock(int cpu)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