ctxt_midr_el1
u64 midr = ctxt_midr_el1(ctxt);
midr = ctxt_midr_el1(guest_ctxt);
write_sysreg(ctxt_midr_el1(&vcpu->arch.ctxt), vpidr_el2);