static void disable_interrupt() { write_ier(0); }
/* The fullness of the input buffer may have changed. Reassess whether we should block receive interrupts. Called by the input buffer routines when characters are added to or removed from the buffer. */ void serial_notify(void) { if (mode == QUEUE) write_ier(); }