From: Alan Cox <alan@linux.intel.com>
Date: Fri, 22 May 2015 22:09:37 +0000 (+0100)
Subject: zx128: fix keyboard polling
X-Git-Url: https://git.ndcode.org/public/gitweb.cgi?a=commitdiff_plain;h=e5b131c637bc304785d73813c72cdbcfc717fa9d;p=FUZIX.git

zx128: fix keyboard polling

The NMOS di/irq_restore bug is now fixed so we can go back to polling here
---

diff --git a/Kernel/platform-zx128/main.c b/Kernel/platform-zx128/main.c
index 35acd631..89f146c7 100644
--- a/Kernel/platform-zx128/main.c
+++ b/Kernel/platform-zx128/main.c
@@ -19,9 +19,10 @@ void pagemap_init(void)
    for the polled ports */
 void platform_idle(void)
 {
- __asm
-  halt
- __endasm;
+  /* 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)