PSR_D
KASSERT((READ_SPECIALREG(daif) & PSR_D) == PSR_D,
KASSERT((READ_SPECIALREG(daif) & PSR_D) == PSR_D,
frame->tf_spsr |= PSR_D;
frame->tf_spsr &= ~PSR_D;
#define PSR_DAIF (PSR_D | PSR_A | PSR_I | PSR_F)
hypctx_write_sys_reg(el2ctx, HOST_SPSR_EL2, PSR_D | PSR_A | PSR_I | PSR_F);