VPIDR_EL2
midr = ctxt_sys_reg(guest_ctxt, VPIDR_EL2);
EL2_REG_VNCR(VPIDR_EL2, reset_unknown, 0),
SYS_REG(VPIDR_EL2),