diff options
Diffstat (limited to 'debian/patches/43_debvice_port_fix.patch')
| -rw-r--r-- | debian/patches/43_debvice_port_fix.patch | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/debian/patches/43_debvice_port_fix.patch b/debian/patches/43_debvice_port_fix.patch index 49460a9..8c2e4e2 100644 --- a/debian/patches/43_debvice_port_fix.patch +++ b/debian/patches/43_debvice_port_fix.patch @@ -6,10 +6,11 @@ (i386_io_port_remove): Same as above. -diff -urp gnumach-mine-2-default_noio/i386/i386/iopb.c gnumach-mine-3-device_port_fix/i386/i386/iopb.c ---- gnumach-mine-2-default_noio/i386/i386/iopb.c 2006-01-02 18:38:31.000000000 +0100 -+++ gnumach-mine-3-device_port_fix/i386/i386/iopb.c 2006-01-02 18:42:45.000000000 +0100 -@@ -308,12 +308,22 @@ +Index: i386/i386/iopb.c +=================================================================== +--- i386/i386/iopb.c.orig 2006-11-14 04:15:57.000000000 +0200 ++++ i386/i386/iopb.c 2006-11-14 04:16:04.000000000 +0200 +@@ -310,12 +310,22 @@ iopb_destroy( /* * Add an IO mapping to a thread. */ @@ -32,7 +33,7 @@ diff -urp gnumach-mine-2-default_noio/i386/i386/iopb.c gnumach-mine-3-device_por iopb_tss_t io_tss, new_io_tss; io_port_t io_port; io_use_t iu, old_iu; -@@ -407,12 +417,22 @@ +@@ -409,12 +419,22 @@ i386_io_port_add( /* * Remove an IO mapping from a thread. */ |