add vmx(1)

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

diff --git a/sys/src/cmd/vmx/fns.h b/sys/src/cmd/vmx/fns.h
new file mode 100644 (file)
index 0000000..c6be78a
--- /dev/null
+++ b/sys/src/cmd/vmx/fns.h
@@ -0,0 +1,32 @@
+void *emalloc(ulong);
+void loadkernel(char *);
+uvlong rget(char *);
+void rpoke(char *, uvlong, int);
+#define rset(a,b) rpoke(a,b,0)
+void processexit(char *);
+void pitadvance(void);
+void vmerror(char *, ...);
+#define vmdebug vmerror
+int ctl(char *, ...);
+void registermmio(uvlong, uvlong, uvlong (*)(int, uvlong, uvlong));
+void irqline(int, int);
+void irqack(int);
+void postexc(char *, u32int);
+void vgaresize(void);
+void uartinit(int, char *);
+void sendnotif(void (*)(void *), void *);
+PCIDev *mkpcidev(u32int, u32int, u32int, int);
+PCIBar *mkpcibar(PCIDev *, u8int, u32int, void *, void *);
+PCICap *mkpcicap(PCIDev *, u8int, u32int (*)(PCICap *, u8int), void(*)(PCICap *, u8int, u32int, u32int));
+u32int allocbdf(void);
+void *gptr(u64int, u64int);
+void *gend(void *);
+uintptr gpa(void *);
+uintptr gavail(void *);
+void pciirq(PCIDev *, int);
+u32int iowhine(int, u16int, u32int, int, void *);
+void elcr(u16int);
+int mkvionet(char *);
+int mkvioblk(char *);
+char* rcflush(int);
+void i8042kick(void *);