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();
}
