define kbdenable properly

Reference: /n/atom/patch/applied/kbdenabledef
Date: Fri May  9 18:53:49 CES 2014
Signed-off-by: quanstro@quanstro.net

--- /sys/src/9/port/portfns.h	Fri May  9 18:53:49 2014
+++ /sys/src/9/port/portfns.h	Fri May  9 18:53:49 2014
@@ -143,6 +143,7 @@
 int		isphysseg(char*);
 void		ixsummary(void);
 int		kbdcr2nl(Queue*, int);
+void		kbdenable(void);
 Kbscan*		kbdnewscan(void (*)(char*));
 void		kbdfreescan(Kbscan*);
 void		kbdputsc(int c, Kbscan*);
--- /sys/src/9/omap/fns.h	Fri May  9 18:53:49 2014
+++ /sys/src/9/omap/fns.h	Fri May  9 18:53:49 2014
@@ -55,7 +55,6 @@
 extern int isaconfig(char*, int, ISAConf*);
 extern int isdmadone(int);
 extern int ispow2(uvlong);
-extern void kbdenable(void);
 extern void l2cacheuinv(void);
 extern void l2cacheuwb(void);
 extern void l2cacheuwbinv(void);
@@ -147,6 +146,7 @@
  * PCI stuff.
  */
 
+#define	cas(a, ov, nv)	cas32(a, ov, nv)
 int	cas32(void*, u32int, u32int);
 int	tas32(void*);
 
--- /sys/src/9/teg2/fns.h	Fri May  9 18:53:49 2014
+++ /sys/src/9/teg2/fns.h	Fri May  9 18:53:49 2014
@@ -80,7 +80,6 @@
 extern int isaconfig(char*, int, ISAConf*);
 extern int isdmadone(int);
 extern int ispow2(uvlong);
-extern void kbdenable(void);
 extern void l1diag(void);
 extern void l2pl310init(void);
 extern int log2(ulong);