SET_NOINTR_SHIELD
} else if (shield == SET_NOINTR_SHIELD) {
error = interrupt_shield(cpu_idx, SET_NOINTR_SHIELD);
else if (shield == SET_NOINTR_SHIELD)