/* 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);
}
