PSR_DAIF_INTR
(frame->tf_spsr & PSR_DAIF_INTR) != PSR_DAIF_INTR) {
MPASS((frame->tf_spsr & PSR_DAIF_INTR) == 0);
(frame->tf_spsr & PSR_DAIF_INTR) != PSR_DAIF_INTR) {
MPASS((frame->tf_spsr & PSR_DAIF_INTR) == 0);