Searched refs:kvm_arm_timer_get_reg (Results 1 – 2 of 2) sorted by relevance
74 u64 kvm_arm_timer_get_reg(struct kvm_vcpu *, u64 regid);
700 u64 kvm_arm_timer_get_reg(struct kvm_vcpu *vcpu, u64 regid) in kvm_arm_timer_get_reg() function