push_off          118 kernel/defs.h  void            push_off(void);
push_off           85 kernel/proc.c    push_off();
push_off           24 kernel/spinlock.c   push_off(); // disable interrupts to avoid deadlock.
push_off          114 kernel/uart.c    push_off();