Symbol: kvm_arm_timer_read
arch/arm64/kvm/arch_timer.c
1183
return kvm_arm_timer_read(vcpu, timer, treg);
arch/arm64/kvm/arch_timer.c
1188
val = kvm_arm_timer_read(vcpu, timer, treg);
arch/arm64/kvm/arch_timer.c
50
static u64 kvm_arm_timer_read(struct kvm_vcpu *vcpu,