Searched refs:kvm_arm_timer_read (Results 1 – 1 of 1) sorted by relevance
50 static u64 kvm_arm_timer_read(struct kvm_vcpu *vcpu,1131 static u64 kvm_arm_timer_read(struct kvm_vcpu *vcpu, in kvm_arm_timer_read() function1178 return kvm_arm_timer_read(vcpu, timer, treg); in kvm_arm_timer_read_sysreg()1183 val = kvm_arm_timer_read(vcpu, timer, treg); in kvm_arm_timer_read_sysreg()