/* On idle we spin checking for the terminals. Gives us more responsiveness for the polled ports */ void platform_idle(void) { irqflags_t irq = di(); tty_poll(); sync_clock(); irqrestore(irq); }
/* 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_poll(); irqrestore(irq); }
void platform_interrupt(void) { uint8_t t = *timer; tty_poll(); while(t--) { timer_interrupt(); } }
void platform_interrupt(void) { uint8_t t = peek(0x10); tty_poll(); while(t--) { timer_interrupt(); } }
void platform_interrupt(void) { /* We don't have interrupts for the keyboard */ kbd_poll(); tty_poll(); if (clk_irq) { if (clk_stat & 0x08) { /* Check 4 or 8 - need datasheet */ /* Not ideal but we need to work out how to handle the different clocks gracefully */ timer_interrupt(); timer_interrupt(); timer_interrupt(); timer_interrupt(); /* Do we need to read again ? */ } } }
void platform_interrupt(void) { tty_poll(); timer_interrupt(); devfd_spindown(); }
void platform_idle(void) { irqflags_t flags = di(); tty_poll(); irqrestore(flags); }