void platform_interrupt(void)
{
tty_pollirq();
timer_interrupt();
// netat_poll();
// netz_poll();
}
/* On idle we spin checking for the terminals. Gives us more responsiveness
for the polled ports */
void platform_idle(void)
{
/* We don't want an idle poll and IRQ driven tty poll at the same moment */
irqflags_t irq = di();
tty_pollirq();
irqrestore(irq);
}
void platform_interrupt(void)
{
tty_pollirq();
tty_polluart();
timer_interrupt();
poll_input();
if (timer_wait)
wakeup(&timer_interrupt);
}
void platform_interrupt(void)
{
tty_pollirq();
mdv_timer();
timer_interrupt();
}
