arch/arm64/kvm/arch_timer.c

1092

timer_set_offset(vcpu_vtimer(vcpu), kvm_phys_timer_read());

arch/arm64/kvm/arch_timer.c

1144

val = timer_get_cval(timer) - kvm_phys_timer_read() + timer_get_offset(timer);

arch/arm64/kvm/arch_timer.c

1157

val = kvm_phys_timer_read() - timer_get_offset(timer);

arch/arm64/kvm/arch_timer.c

1203

timer_set_cval(timer, kvm_phys_timer_read() - timer_get_offset(timer) + (s32)val);

arch/arm64/kvm/arch_timer.c

234

u64 now = kvm_phys_timer_read() - timer_get_offset(timer_ctx);

arch/arm64/kvm/arch_timer.c

392

now = kvm_phys_timer_read() - timer_get_offset(timer_ctx);

arch/arm64/kvm/handle_exit.c

150

now = kvm_phys_timer_read();

arch/arm64/kvm/sys_regs.c

1625

timer_set_offset(vcpu_vtimer(vcpu), kvm_phys_timer_read() - val);

arch/arm64/kvm/sys_regs.c

1629

timer_set_offset(vcpu_ptimer(vcpu), kvm_phys_timer_read() - val);

arch/arm64/kvm/sys_regs.c

1643

*val = kvm_phys_timer_read() - timer_get_offset(vcpu_vtimer(vcpu));

arch/arm64/kvm/sys_regs.c

1646

*val = kvm_phys_timer_read() - timer_get_offset(vcpu_ptimer(vcpu));

include/kvm/arm_arch_timer.h

114

u64 kvm_phys_timer_read(void);