EFFECTIVE
return show_irq_affinity(EFFECTIVE, m);
case EFFECTIVE:
case EFFECTIVE:
case EFFECTIVE:
if (get_dexcr(EFFECTIVE) & DEXCR_PR_NPHIE)
SKIP_IF_MSG(!(get_dexcr(EFFECTIVE) & DEXCR_PR_NPHIE),