diff options
Diffstat (limited to 'debian/patches')
| -rw-r--r-- | debian/patches/70_dde.patch | 4 | ||||
| -rw-r--r-- | debian/patches/series | 1 |
2 files changed, 2 insertions, 3 deletions
diff --git a/debian/patches/70_dde.patch b/debian/patches/70_dde.patch index 048231b..69a5e2e 100644 --- a/debian/patches/70_dde.patch +++ b/debian/patches/70_dde.patch @@ -130,8 +130,8 @@ index a00a12d..9d635cf 100644 --- a/device/ds_routines.h +++ b/device/ds_routines.h @@ -58,4 +58,7 @@ boolean_t ds_write_done(io_req_t); - - void iowait (io_req_t ior); + vm_size_t size, + mach_port_t *pager); +/* XXX arch-specific */ +extern ipc_port_t intr_rcv_ports[16]; diff --git a/debian/patches/series b/debian/patches/series index 8433870..a95f927 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1,4 +1,3 @@ -00_clean_gfdl.patch 11_ignore_CSIn.patch 12_version_suffix.patch 50_initrd.patch |