devarch: restrict i/o port access to 64K, disallow msr 32-bit wrap arround (thanks...

[plan9front.git] / sys / src / 9 / teg2 / archtegra.c

diff --git a/sys/src/9/teg2/archtegra.c b/sys/src/9/teg2/archtegra.c
index 8f1ad683135597f76185c05694b02fef2242e0e8..72e9b0ff236e8cea0cbd68b5f7d6ceb90b28875f 100644 (file)
--- a/sys/src/9/teg2/archtegra.c
+++ b/sys/src/9/teg2/archtegra.c
@@ -12,7 +12,7 @@
 #include "arm.h"
 
 #include "../port/netif.h"
-#include "etherif.h"
+#include "../port/etherif.h"
 #include "../port/flashif.h"
 #include "../port/usb.h"
 #include "../port/portusbehci.h"
@@ -676,7 +676,7 @@ cpustart(void)
        Power *pwr;
 
        up = nil;
-       if (active.machs & (1<<m->machno)) {
+       if (active.machs[m->machno]) {
                serialputc('?');
                serialputc('r');
                panic("cpu%d: resetting after start", m->machno);