__sysreg_restore_el1_state
__sysreg_restore_el1_state(ctxt, midr, ctxt_sys_reg(ctxt, MPIDR_EL1));
__sysreg_restore_el1_state(guest_ctxt, midr, mpidr);