1 /* SPDX-License-Identifier: GPL-2.0-only */
2 #ifndef __ASM_PPC_TIME_H__
3 #define __ASM_PPC_TIME_H__
4 
5 #include <xen/bug.h>
6 #include <asm/processor.h>
7 #include <asm/regs.h>
8 
9 struct vcpu;
10 
11 /* TODO: implement */
force_update_vcpu_system_time(struct vcpu * v)12 static inline void force_update_vcpu_system_time(struct vcpu *v) {
13     BUG_ON("unimplemented");
14 }
15 
16 typedef unsigned long cycles_t;
17 
get_cycles(void)18 static inline cycles_t get_cycles(void)
19 {
20     return mfspr(SPRN_TBRL);
21 }
22 
23 #endif /* __ASM_PPC_TIME_H__ */
24