a few bits

Reference: /n/atom/patch/applied2013/nixnits20131210
Date: Tue Dec 10 16:56:34 CET 2013
Signed-off-by: quanstro@quanstro.net

--- /sys/src/nix/k10/fns.h	Tue Dec 10 16:56:25 2013
+++ /sys/src/nix/k10/fns.h	Tue Dec 10 16:56:25 2013
@@ -19,7 +19,6 @@
 void	cpuid(u32int, u32int, u32int[4]);
 int	dbgprint(char*, ...);
 void	delay(int);
-int	devacpiinit(void);
 void	dumpmmu(Proc*);
 void	dumpmmuwalk(uintmem);
 void	dumpptepg(int, uintmem);
@@ -103,6 +102,7 @@
 int	vmapsync(uintptr);
 void	vsvminit(int);
 void	vunmap(void*, usize);
+int	xaddb(void*);
 
 u64int	getcr0(void);
 void	putcr0(u64int);
--- /sys/src/nix/k10/io.h	Tue Dec 10 16:56:25 2013
+++ /sys/src/nix/k10/io.h	Tue Dec 10 16:56:25 2013
@@ -256,6 +256,7 @@
 
 #define PCIWINDOW	0
 #define PCIWADDR(va)	(PADDR(va)+PCIWINDOW)
+#define Pciwaddr(va)	PCIWADDR(va)
 #define Pciwaddrl(va)	((u32int)PCIWADDR(va))
 #define Pciwaddrh(va)	((u32int)(PCIWADDR(va)>>32))