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
);