Symbol: kvm_arm_timer_write_sysreg
arch/arm64/kvm/sys_regs.c
1605
kvm_arm_timer_write_sysreg(vcpu, tmr, treg, p->regval);
include/kvm/arm_arch_timer.h
136
void kvm_arm_timer_write_sysreg(struct kvm_vcpu *vcpu,