1/* SPDX-License-Identifier: GPL-2.0 */
 2#ifndef _ASM_ARM_PARAVIRT_H
 3#define _ASM_ARM_PARAVIRT_H
 4
 5#ifdef CONFIG_PARAVIRT
 6struct static_key;
 7extern struct static_key paravirt_steal_enabled;
 8extern struct static_key paravirt_steal_rq_enabled;
 9
10struct pv_time_ops {
11	unsigned long long (*steal_clock)(int cpu);
12};
13extern struct pv_time_ops pv_time_ops;
14
15static inline u64 paravirt_steal_clock(int cpu)
16{
17	return pv_time_ops.steal_clock(cpu);
18}
19#endif
20
21#endif