kvm_timer_sync_hwstate   74 include/kvm/arm_arch_timer.h void kvm_timer_sync_hwstate(struct kvm_vcpu *vcpu);
kvm_timer_sync_hwstate  769 virt/kvm/arm/arm.c 				kvm_timer_sync_hwstate(vcpu);
kvm_timer_sync_hwstate  820 virt/kvm/arm/arm.c 			kvm_timer_sync_hwstate(vcpu);