| /* SPDX-License-Identifier: GPL-2.0 */ |
| #ifndef _ASM_ARM64_PARAVIRT_H |
| #define _ASM_ARM64_PARAVIRT_H |
| |
| #ifdef CONFIG_PARAVIRT |
| #include <linux/static_call_types.h> |
| |
| struct static_key; |
| extern struct static_key paravirt_steal_enabled; |
| extern struct static_key paravirt_steal_rq_enabled; |
| |
| u64 dummy_steal_clock(int cpu); |
| |
| DECLARE_STATIC_CALL(pv_steal_clock, dummy_steal_clock); |
| |
| static inline u64 paravirt_steal_clock(int cpu) |
| { |
| return static_call(pv_steal_clock)(cpu); |
| } |
| |
| int __init pv_time_init(void); |
| |
| #else |
| |
| #define pv_time_init() do {} while (0) |
| |
| #endif // CONFIG_PARAVIRT |
| |
| #endif |
