vmx(1): support debug instructions

[plan9front.git] / sys / src / cmd / vmx / fns.h

diff --git a/sys/src/cmd/vmx/fns.h b/sys/src/cmd/vmx/fns.h
index 231ffcbc4b675026b5709ca93f49c5875adc784a..cff97b0af6d9f19887563f24e5fe58312091c368 100644 (file)
--- a/sys/src/cmd/vmx/fns.h
+++ b/sys/src/cmd/vmx/fns.h
@@ -13,7 +13,7 @@ int ctl(char *, ...);
 void registermmio(uvlong, uvlong, uvlong (*)(int, uvlong, uvlong));
 void irqline(int, int);
 void irqack(int);
-void postexc(char *, u32int);
+void postexc(char *, vlong);
 void vgaresize(void);
 void uartinit(int, char *);
 void sendnotif(void (*)(void *), void *);