HTPIDR            155 arch/arm/kvm/hyp/switch.c 	write_sysreg(vcpu, HTPIDR);
HTPIDR            229 arch/arm/kvm/hyp/switch.c 		vcpu = (struct kvm_vcpu *)read_sysreg(HTPIDR);