kvm_arm_timer_write_sysreg  288 arch/arm/kvm/coproc.c 		kvm_arm_timer_write_sysreg(vcpu,
kvm_arm_timer_write_sysreg  307 arch/arm/kvm/coproc.c 		kvm_arm_timer_write_sysreg(vcpu,
kvm_arm_timer_write_sysreg  327 arch/arm/kvm/coproc.c 		kvm_arm_timer_write_sysreg(vcpu,
kvm_arm_timer_write_sysreg 1066 arch/arm64/kvm/sys_regs.c 		kvm_arm_timer_write_sysreg(vcpu, tmr, treg, p->regval);
kvm_arm_timer_write_sysreg  107 include/kvm/arm_arch_timer.h void kvm_arm_timer_write_sysreg(struct kvm_vcpu *vcpu,