[gnumach]/Changelog
2006-01-14  Samuel Thibault <samuel.thibault@ens-lyon.org>

        * i386/i386/iopb.c (i386_io_port_add): Get the device
	parameter properly.
	(i386_io_port_remove): Likewise.

diff -u -r1.1.1.1 iopb.c
--- gnumach-mine-2-default_noio/i386/i386/iopb.c	25 Feb 1997 21:27:09 -0000	1.1.1.1
+++ gnumach-mine-3-device_port_fix/i386/i386/iopb.c	8 Jan 2006 18:29:28 -0000
@@ -307,12 +307,22 @@
 /*
  * Add an IO mapping to a thread.
  */
+#ifdef i386 /* device emulation layer */
+kern_return_t
+i386_io_port_add(
+	thread_t	thread,
+	device_t	d)
+#else
 kern_return_t
 i386_io_port_add(
 	thread_t	thread,
 	mach_device_t	device)
+#endif
 {
 	pcb_t		pcb;
+#ifdef i386 /* device emulation layer */
+	mach_device_t	device = d->emul_data;
+#endif
 	iopb_tss_t	io_tss, new_io_tss;
 	io_port_t	io_port;
 	io_use_t	iu, old_iu;
@@ -406,12 +416,22 @@
 /*
  * Remove an IO mapping from a thread.
  */
+#ifdef i386 /* device emulation layer */
+kern_return_t
+i386_io_port_remove(thread, d)
+	thread_t	thread;
+	device_t	d;
+#else
 kern_return_t
 i386_io_port_remove(thread, device)
 	thread_t	thread;
 	mach_device_t	device;
+#endif
 {
 	pcb_t		pcb;
+#ifdef i386 /* device emulation layer */
+	mach_device_t	device = d->emul_data;
+#endif
 	iopb_tss_t	io_tss;
 	io_port_t	io_port;
 	io_use_t	iu;