r51 - openbios-devel/drivers

Author: stepan
Date: 2006-06-07 09:47:37 +0200 (Wed, 07 Jun 2006)
New Revision: 51

Modified:
   openbios-devel/drivers/obio.c
Log:
fix netbsd again

Modified: openbios-devel/drivers/obio.c
===================================================================
--- openbios-devel/drivers/obio.c	2006-06-07 07:44:40 UTC (rev 50)
+++ openbios-devel/drivers/obio.c	2006-06-07 07:47:37 UTC (rev 51)
@@ -391,7 +391,8 @@
     intregs->set = ~SUN4M_INT_MASKALL;
     intregs->cpu_intregs[0].clear = ~0x17fff;

-    PUSH(0);
+    // Is this correct? It works for NetBSD at least
+    PUSH((int)intregs);
     fword("encode-int");
     PUSH((int)intregs);
     fword("encode-int");