Symbol: kvm_arm_timer_read_sysreg
arch/arm64/kvm/sys_regs.c
1607
p->regval = kvm_arm_timer_read_sysreg(vcpu, tmr, treg);
include/kvm/arm_arch_timer.h
133
u64 kvm_arm_timer_read_sysreg(struct kvm_vcpu *vcpu,