update prototype files

Reference: /n/atom/patch/applied2013/nixprotoupd
Date: Sat Dec 21 17:09:06 CET 2013
Signed-off-by: quanstro@quanstro.net

--- /sys/src/nix/k10/cpu	Sat Dec 21 17:08:57 2013
+++ /sys/src/nix/k10/cpu	Sat Dec 21 17:08:58 2013
@@ -44,24 +44,23 @@
 
 link +dev
 	resmem
-
+# 1gbe
 	ether8169	pci ethermii
 #	ether82557	pci
 	ether82563	pci
 	etherbcm	pci ethermii
 	etherigbe	pci ethermii
-
+# 10gbe
 	ether82598	pci
-#	ether57711	pci
 	etherm10g	pci
-
+#	ether57711	pci
+# 40gbe
 	etheri40		pci
-
 	ethermedium
 #	loopbackmedium
 #	netdevmedium
 	usbuhci
-#	usbohci
+	usbohci
 	usbehci 		usbehcipc
 
 sd +dev
@@ -70,7 +69,7 @@
 	sdide		sdscsifis sdatafis
 	sdodin		sdscsifis sdatafis
 	sdvanir		sdscsifis sdatafis
-	sdmpt2		sdscsifis sdatafis
+	sdmpt2		sdscsi
 	sdloop
 
 misc +dev
@@ -95,7 +94,6 @@
 	devacpi		'C'
 	devsegment	'z'
 	hpet		'H'
-	ht		'H'
 	image		'p'
 	ioapic		'I'
 	main		'x'
--- /sys/src/nix/k10/cpud	Sat Dec 21 17:08:58 2013
+++ /sys/src/nix/k10/cpud	Sat Dec 21 17:08:59 2013
@@ -16,6 +16,7 @@
 	kprof
 #	segment
 	acpi
+	ws
 
 	ether		netif
 	cec
@@ -43,29 +44,37 @@
 
 link +dev
 	resmem
+# 1gbe
 	ether8169	pci ethermii
 #	ether82557	pci
 	ether82563	pci
 	etherbcm	pci ethermii
 	etherigbe	pci ethermii
+# 10gbe
 	ether82598	pci
-	ether57711	pci
 	etherm10g	pci
+#	ether57711	pci
+# 40gbe
+	etheri40		pci
 	ethermedium
 #	loopbackmedium
 #	netdevmedium
 	usbuhci
-#	usbohci
+	usbohci
 	usbehci 		usbehcipc
 
 sd +dev
 	sdaoe
 	sdahci		sdscsifis sdatafis led
 #	sdide		sdscsifis sdatafis
+#	sdodin		sdscsifis sdatafis
+#	sdvanir		sdscsifis sdatafis
+#	sdmpt2		sdscsi
 	sdloop
 
 misc +dev
-	mp		mpacpi lapic ioapic msi pci sipi
+#	mp		mpacpi lapic ioapic msi pci sipi
+	acpi		acpiio lapic ioapic msi pci sipi
 
 boot cpu
 	il
@@ -86,7 +95,6 @@
 	devacpi		'C'
 	devsegment	'z'
 	hpet		'H'
-	ht		'H'
 	image		'p'
 	ioapic		'I'
 	main		'x'
@@ -158,7 +166,8 @@
 	sysseg
 #	syssem
 	systab
-	taslock
+#	taslock
+	tiklock
 	tod
 	syscallfmt
 
@@ -167,6 +176,7 @@
 	port
 
 lib
+	libaml
 	libip
 	libsec
 	libmp
--- /sys/src/nix/k10/term	Sat Dec 21 17:09:00 2013
+++ /sys/src/nix/k10/term	Sat Dec 21 17:09:00 2013
@@ -51,14 +51,20 @@
 
 link +dev
 	resmem
-#	etheriwl		wifi
+# wireless
+	etheriwl		wifi
+# 1gbe
 	ether8169	pci ethermii
 #	ether82557	pci
 	ether82563	pci
 	etherbcm	pci ethermii
 	etherigbe	pci ethermii
+# 10gbe
 	ether82598	pci
 #	etherm10g	pci
+#	ether57711	pci
+# 40gbe
+	etheri40		pci
 	ethermedium
 #	loopbackmedium
 #	netdevmedium
@@ -97,7 +103,6 @@
 	devacpi		'C'
 	devsegment	'z'
 	hpet		'H'
-	ht		'H'
 	image		'p'
 	ioapic		'I'
 	main		'x'
--- /sys/src/nix/k10/termd	Sat Dec 21 17:09:01 2013
+++ /sys/src/nix/k10/termd	Sat Dec 21 17:09:01 2013
@@ -51,14 +51,20 @@
 
 link +dev
 	resmem
-#	etheriwl		wifi
+# wireless
+	etheriwl		wifi
+# 1gbe
 	ether8169	pci ethermii
 #	ether82557	pci
 	ether82563	pci
 	etherbcm	pci ethermii
 	etherigbe	pci ethermii
+# 10gbe
 	ether82598	pci
 #	etherm10g	pci
+#	ether57711	pci
+# 40gbe
+	etheri40		pci
 	ethermedium
 #	loopbackmedium
 #	netdevmedium
@@ -99,7 +105,6 @@
 	devacpi		'C'
 	devsegment	'z'
 	hpet		'H'
-	ht		'H'
 	image		'p'
 	ioapic		'I'
 	main		'x'
@@ -171,7 +176,8 @@
 	sysseg
 #	syssem
 	systab
-	taslock
+#	taslock
+	tiklock
 	tod
 	syscallfmt