intr_restore
void intr_restore(register_t ef);
void intr_restore(register_t rf);
intr_restore(regs); \