Searched refs:kvm_arm_timer_get_reg (Results 1 – 4 of 4) sorted by relevance
72 u64 kvm_arm_timer_get_reg(struct kvm_vcpu *, u64 regid);
108 now = kvm_arm_timer_get_reg(vcpu, KVM_REG_ARM_TIMER_CNT); in kvm_handle_wfx()
636 val = kvm_arm_timer_get_reg(vcpu, reg->id); in get_timer_reg()
869 u64 kvm_arm_timer_get_reg(struct kvm_vcpu *vcpu, u64 regid) in kvm_arm_timer_get_reg() function