devvmx, vmx: lilu dallas multivm

[plan9front.git] / sys / src / 9 / pc / fns.h

diff --git a/sys/src/9/pc/fns.h b/sys/src/9/pc/fns.h
index 77eebd2fc727352a0d4cc4831f9a175d41a5d53a..83367a0a18d94498fea3cad4f3ae6bfe0b77dc1d 100644 (file)
--- a/sys/src/9/pc/fns.h
+++ b/sys/src/9/pc/fns.h
@@ -8,7 +8,7 @@ int     bios32call(BIOS32ci*, u16int[3]);
 int    bios32ci(BIOS32si*, BIOS32ci*);
 void   bios32close(BIOS32si*);
 BIOS32si* bios32open(char*);
-void   bootargs(void*);
+void   bootargsinit(void);
 ulong  cankaddr(ulong);
 int    checksum(void *, int);
 void   clockintr(Ureg*, void*);
@@ -35,7 +35,6 @@ int   ecread(uchar addr);
 int    ecwrite(uchar addr, uchar val);
 #define        evenaddr(x)                             /* x86 doesn't care */
 void   fpclear(void);
-void   fpenv(FPsave*);
 void   fpinit(void);
 void   fpoff(void);
 void   (*fprestore)(FPsave*);
@@ -44,7 +43,6 @@ void  fpsserestore(FPsave*);
 void   fpsserestore0(FPsave*);
 void   fpssesave(FPsave*);
 void   fpssesave0(FPsave*);
-ulong  fpstatus(void);
 void   fpx87restore(FPsave*);
 void   fpx87restore0(FPsave*);
 void   fpx87save(FPsave*);
@@ -53,12 +51,12 @@ ulong       getcr0(void);
 ulong  getcr2(void);
 ulong  getcr3(void);
 ulong  getcr4(void);
+u32int getdr6(void);
 char*  getconf(char*);
 void   guesscpuhz(int);
 void   halt(void);
 void   mwait(void*);
 int    i8042auxcmd(int);
-int    i8042auxcmds(uchar*, int);
 void   i8042auxenable(void (*)(int, int));
 void   i8042reset(void);
 void   i8250console(void);
@@ -83,7 +81,7 @@ ushort        ins(int);
 void   inss(int, void*, int);
 ulong  inl(int);
 void   insl(int, void*, int);
-int    intrdisable(int, void (*)(Ureg *, void *), void*, int, char*);
+void   intrdisable(int, void (*)(Ureg *, void *), void*, int, char*);
 void   intrenable(int, void (*)(Ureg*, void*), void*, int, char*);
 void   introff(void);
 void   intron(void);
@@ -96,8 +94,6 @@ int   ioreserve(int, int, int, char*);
 int    iprint(char*, ...);
 int    isaconfig(char*, int, ISAConf*);
 void*  kaddr(ulong);
-void   kbdenable(void);
-void   kbdinit(void);
 #define        kmapinval()
 void   ldmxcsr(ulong);
 void   lgdt(ushort[3]);
@@ -119,6 +115,7 @@ char*       mtrr(uvlong, uvlong, char *);
 void   mtrrclock(void);
 int    mtrrprint(char *, long);
 void   mtrrsync(void);
+void   netconsole(void);
 uchar  nvramread(int);
 void   nvramwrite(int, uchar);
 void   outb(int, int);
@@ -128,6 +125,7 @@ void        outss(int, void*, int);
 void   outl(int, ulong);
 void   outsl(int, void*, int);
 ulong  paddr(void*);
+void   patwc(void*, int);
 ulong  pcibarsize(Pcidev*, int);
 void   pcibussize(Pcidev*, ulong*, ulong*);
 int    pcicfgr8(Pcidev*, int);
@@ -166,13 +164,19 @@ void      procsave(Proc*);
 void   procsetup(Proc*);
 void   procfork(Proc*);
 void   putcr0(ulong);
+void   putcr2(ulong);
 void   putcr3(ulong);
 void   putcr4(ulong);
+void   putdr(u32int*);
+void   putdr01236(uintptr*);
+void   putdr6(u32int);
+void   putdr7(u32int);
 void*  rampage(void);
 int    rdmsr(int, vlong*);
 void   realmode(Ureg*);
 void   screeninit(void);
 void   (*screenputs)(char*, int);
+void   setconfenv(void);
 void*  sigsearch(char*);
 void   syncclock(void);
 void*  tmpmap(Page*);
@@ -193,8 +197,10 @@ void       upareserve(ulong, int);
 void   vectortable(void);
 void*  vmap(ulong, int);
 int    vmapsync(ulong);
+void   vmxprocrestore(Proc *);
 void   vunmap(void*, int);
 void   wbinvd(void);
+void   writeconf(void);
 int    wrmsr(int, vlong);
 int    xchgw(ushort*, int);
 void   rdrandbuf(void*, ulong);