__kvm_timer_set_cntvoff 61 arch/arm/include/asm/kvm_asm.h extern void __kvm_timer_set_cntvoff(u32 cntvoff_low, u32 cntvoff_high); __kvm_timer_set_cntvoff 65 arch/arm64/include/asm/kvm_asm.h extern void __kvm_timer_set_cntvoff(u32 cntvoff_low, u32 cntvoff_high); __kvm_timer_set_cntvoff 464 virt/kvm/arm/arch_timer.c kvm_call_hyp(__kvm_timer_set_cntvoff, low, high);