1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #ifndef __ARM64_KVM_HYP_NVHE_CLOCK_H 3 #define __ARM64_KVM_HYP_NVHE_CLOCK_H 4 #include <linux/types.h> 5 6 #include <asm/kvm_hyp.h> 7 8 #ifdef CONFIG_TRACING 9 void trace_clock_update(u32 mult, u32 shift, u64 epoch_ns, u64 epoch_cyc); 10 u64 trace_clock(void); 11 #else 12 static inline void trace_clock_update(u32 mult,u32 shift,u64 epoch_ns,u64 epoch_cyc)13trace_clock_update(u32 mult, u32 shift, u64 epoch_ns, u64 epoch_cyc) { } trace_clock(void)14static inline u64 trace_clock(void) { return 0; } 15 #endif 16 #endif 17