PSR_DAIF
kernel_monitor.dbg_flags &= ~PSR_DAIF;
kernel_monitor.dbg_flags |= kdb_frame->tf_spsr & PSR_DAIF;
kdb_frame->tf_spsr &= ~PSR_DAIF;
kdb_frame->tf_spsr |= kernel_monitor.dbg_flags & PSR_DAIF;
(spsr & PSR_DAIF) != (td->td_frame->tf_spsr & PSR_DAIF))
tf->tf_spsr = td1->td_frame->tf_spsr & (PSR_M_32 | PSR_DAIF);
(sf->sf_uc.uc_sc.pstate & PSR_DAIF) !=
(td->td_frame->tf_spsr & PSR_DAIF))
hypctx->tf.tf_spsr |= PSR_DAIF | PSR_M_EL1h;