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(); }
/* On idle we spin checking for the terminals. Gives us more responsiveness for the polled ports */ void platform_idle(void) { tty_pollirq(); }