/* * Helper functions installed by the bootstrap code. */ extern void interrupts_disable(); extern void interrupts_enable();