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
8struct static_key;
9extern struct static_key paravirt_steal_enabled;
10extern struct static_key paravirt_steal_rq_enabled;
11
12u64 dummy_steal_clock(int cpu);
13
14DECLARE_STATIC_CALL(pv_steal_clock, dummy_steal_clock);
15
16static inline u64 paravirt_steal_clock(int cpu)
17{
18	return static_call(pv_steal_clock)(cpu);
19}
20
21int __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