restore_interrupts
extern void restore_interrupts(cpu_status status);
do { release_spinlock(l); restore_interrupts(f); } while (0)
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(*lockable);
restore_interrupts(fState);
restore_interrupts(fState);
restore_interrupts(fState);
restore_interrupts(fState);
restore_interrupts(flags);
restore_interrupts(cpu);
restore_interrupts(cpu);
restore_interrupts(cpu);
restore_interrupts(cpu);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(prev_irq_state);
restore_interrupts(former);
restore_interrupts(cpu);
restore_interrupts(cpu);
restore_interrupts(status);
restore_interrupts(status);
restore_interrupts(status);
restore_interrupts(st);
restore_interrupts(cp);
restore_interrupts(cp);
restore_interrupts(cp);
restore_interrupts(cp);
restore_interrupts(cp);
restore_interrupts(cp);
restore_interrupts(cp);
restore_interrupts(cp);
restore_interrupts(cp);
restore_interrupts(cp);
restore_interrupts(cp);
restore_interrupts(cp);
restore_interrupts(cp);
restore_interrupts(cp);
restore_interrupts(cp);
restore_interrupts(cp);
restore_interrupts(cp);
restore_interrupts(cp);
restore_interrupts(status);
restore_interrupts(status);
restore_interrupts(status);
restore_interrupts(status);
restore_interrupts(status);
restore_interrupts(status);
restore_interrupts( prev_irq_state );
restore_interrupts(prev_irq_state);
restore_interrupts(status);
restore_interrupts(ps);
restore_interrupts(former);
restore_interrupts(former);
restore_interrupts(state);
restore_interrupts(former);
restore_interrupts(former);
restore_interrupts(former);
restore_interrupts(__haiku_cpu_state); \
restore_interrupts(status);
restore_interrupts(ipl);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(status);
restore_interrupts(status);
restore_interrupts(status);
restore_interrupts(status);
restore_interrupts(status);
restore_interrupts(status);
restore_interrupts(status);
restore_interrupts(status);
restore_interrupts(status);
restore_interrupts(status);
restore_interrupts(status);
restore_interrupts(status);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(cpuState);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(*lockable);
restore_interrupts(*lockable);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);
restore_interrupts(state);