1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef _ASM_ARM_PARAVIRT_H
3 #define _ASM_ARM_PARAVIRT_H
7 extern struct static_key paravirt_steal_enabled;
8 extern struct static_key paravirt_steal_rq_enabled;
11 unsigned long long (*steal_clock)(int cpu);
13 extern struct pv_time_ops pv_time_ops;
15 static inline u64 paravirt_steal_clock(int cpu)
17 return pv_time_ops.steal_clock(cpu);