PSR_M_EL0t
if ((spsr & PSR_M_MASK) != PSR_M_EL0t ||
#define TRAPF_USERMODE(tfp) (((tfp)->tf_spsr & PSR_M_MASK) == PSR_M_EL0t)
if ((sf->sf_uc.uc_sc.pstate & PSR_M_MASK) != PSR_M_EL0t ||
if ((hypctx_read_sys_reg(hypctx, HOST_SPSR_EL2) & PSR_M_MASK) == PSR_M_EL0t)
is_el0 = (paging->flags & PSR_M_MASK) == PSR_M_EL0t;
if ((spsr & PSR_M_MASK) == PSR_M_EL0t)