VPIDR              70 arch/arm/kvm/hyp/switch.c 	write_sysreg(vcpu->arch.midr, VPIDR);
VPIDR              76 arch/arm/kvm/hyp/switch.c 	write_sysreg(read_sysreg(MIDR), VPIDR);