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 22