// Intr on and off.
#ifndef __INTR_H
#define __INTR_H
void push_off(void);
void pop_off(void);
#endif