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};
13
14struct paravirt_patch_template {
15	struct pv_time_ops time;
16};
17
18extern struct paravirt_patch_template pv_ops;
19
20static inline u64 paravirt_steal_clock(int cpu)
21{
22	return pv_ops.time.steal_clock(cpu);
23}
24#endif
25
26#endif