diff options
author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2013-12-17 11:59:18 +0100 |
---|---|---|
committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2013-12-17 11:59:18 +0100 |
commit | 7fcfe4d8a282ef3fbfda17010a5cc738e35dcafc (patch) | |
tree | 817e0401fb25b645d700ce49a5a550a5c5e27972 /debian/patches/70_dde.patch | |
parent | c05f18c7279084b70379af583530aba5b1c7cc39 (diff) |
refresh debian/patches/70_dde.patch
Diffstat (limited to 'debian/patches/70_dde.patch')
-rw-r--r-- | debian/patches/70_dde.patch | 70 |
1 files changed, 20 insertions, 50 deletions
diff --git a/debian/patches/70_dde.patch b/debian/patches/70_dde.patch index 9d4a3bd..41fdf61 100644 --- a/debian/patches/70_dde.patch +++ b/debian/patches/70_dde.patch @@ -1,8 +1,6 @@ -diff --git a/Makefrag.am b/Makefrag.am -index 5d22504..64abbe9 100644 --- a/Makefrag.am +++ b/Makefrag.am -@@ -204,6 +204,7 @@ libkernel_a_SOURCES += \ +@@ -218,6 +218,7 @@ EXTRA_DIST += \ kern/mach.srv \ kern/mach4.srv \ kern/gnumach.srv \ @@ -10,7 +8,7 @@ index 5d22504..64abbe9 100644 kern/mach_debug.srv \ kern/mach_host.srv -@@ -280,6 +281,7 @@ libkernel_a_SOURCES += \ +@@ -300,6 +301,7 @@ libkernel_a_SOURCES += \ device/device_types_kernel.h \ device/ds_routines.c \ device/ds_routines.h \ @@ -18,7 +16,7 @@ index 5d22504..64abbe9 100644 device/if_ether.h \ device/if_hdr.h \ device/io_req.h \ -@@ -348,6 +352,7 @@ include_mach_HEADERS = \ +@@ -371,6 +373,7 @@ include_mach_HEADERS = \ include/mach/memory_object_default.defs \ include/mach/notify.defs \ include/mach/std_types.defs \ @@ -26,7 +24,7 @@ index 5d22504..64abbe9 100644 include/mach/alert.h \ include/mach/boolean.h \ include/mach/boot.h \ -@@ -478,6 +483,7 @@ nodist_libkernel_a_SOURCES += \ +@@ -503,6 +506,7 @@ nodist_lib_dep_tr_for_defs_a_SOURCES += kern/mach.server.defs.c \ kern/mach4.server.defs.c \ kern/gnumach.server.defs.c \ @@ -34,7 +32,7 @@ index 5d22504..64abbe9 100644 kern/mach_debug.server.defs.c \ kern/mach_host.server.defs.c nodist_libkernel_a_SOURCES += \ -@@ -487,6 +493,9 @@ nodist_libkernel_a_SOURCES += \ +@@ -515,6 +519,9 @@ nodist_libkernel_a_SOURCES += \ kern/gnumach.server.h \ kern/gnumach.server.c \ kern/gnumach.server.msgids \ @@ -44,7 +42,7 @@ index 5d22504..64abbe9 100644 kern/mach_debug.server.h \ kern/mach_debug.server.c \ kern/mach_debug.server.msgids \ -@@ -495,6 +504,7 @@ nodist_libkernel_a_SOURCES += \ +@@ -524,6 +531,7 @@ nodist_libkernel_a_SOURCES += \ # kern/mach.server.defs # kern/mach4.server.defs # kern/gnumach.server.defs @@ -52,11 +50,9 @@ index 5d22504..64abbe9 100644 # kern/mach_debug.server.defs # kern/mach_host.server.defs -diff --git a/device/ds_routines.c b/device/ds_routines.c -index 5a6fdd2..b89d70f 100644 --- a/device/ds_routines.c +++ b/device/ds_routines.c -@@ -318,6 +318,43 @@ ds_device_map (device_t dev, vm_prot_t prot, vm_offset_t offset, +@@ -318,6 +318,43 @@ ds_device_map (device_t dev, vm_prot_t p offset, size, pager, unmap); } @@ -100,7 +96,7 @@ index 5a6fdd2..b89d70f 100644 boolean_t ds_notify (mach_msg_header_t *msg) { -@@ -1820,6 +1857,24 @@ device_writev_trap (mach_device_t device, dev_mode_t mode, +@@ -1806,6 +1843,24 @@ device_writev_trap (mach_device_t device return (result); } @@ -125,21 +121,16 @@ index 5a6fdd2..b89d70f 100644 struct device_emulation_ops mach_device_emulation_ops = { (void*) mach_device_reference, -diff --git a/device/ds_routines.h b/device/ds_routines.h -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); - vm_size_t size, - mach_port_t *pager); +@@ -83,4 +83,7 @@ io_return_t ds_device_writev_trap( + io_buf_vec_t *iovec, + vm_size_t count); +/* XXX arch-specific */ +extern ipc_port_t intr_rcv_ports[16]; + #endif /* DS_ROUTINES_H */ -diff --git a/device/intr.c b/device/intr.c -new file mode 100644 -index 0000000..6fca328 --- /dev/null +++ b/device/intr.c @@ -0,0 +1,198 @@ @@ -341,8 +332,8 @@ index 0000000..6fca328 + return TRUE; +} +#endif /* MACH_XEN */ ---- /dev/null 2012-02-17 19:11:40.849680975 +0100 -+++ b/kern/experimental.srv 2012-02-18 22:56:48.192291483 +0100 +--- /dev/null ++++ b/kern/experimental.srv @@ -0,0 +1,3 @@ +#define KERNEL_SERVER 1 + @@ -450,9 +441,6 @@ index 0000000..6fca328 + out vaddr : vm_address_t; + out paddr : vm_address_t; + size : vm_size_t); -diff --git a/include/device/intr.h b/include/device/intr.h -new file mode 100644 -index 0000000..3c0e1b8 --- /dev/null +++ b/include/device/intr.h @@ -0,0 +1,17 @@ @@ -473,19 +461,9 @@ index 0000000..3c0e1b8 +#define MACH_INTR_NOTIFY 424242 + +#endif -diff --git a/kern/startup.c b/kern/startup.c -index 3bdda16..9f0e692 100644 --- a/kern/startup.c +++ b/kern/startup.c -@@ -70,6 +70,7 @@ extern void vm_pageout(); - extern void reaper_thread(); - extern void swapin_thread(); - extern void sched_thread(); -+extern void intr_thread(); - - extern void bootstrap_create(); - extern void device_service_create(); -@@ -231,6 +232,9 @@ void start_kernel_threads() +@@ -221,6 +221,9 @@ void start_kernel_threads(void) (void) kernel_thread(kernel_task, reaper_thread, (char *) 0); (void) kernel_thread(kernel_task, swapin_thread, (char *) 0); (void) kernel_thread(kernel_task, sched_thread, (char *) 0); @@ -495,8 +473,6 @@ index 3bdda16..9f0e692 100644 #if NCPUS > 1 /* -diff --git a/linux/dev/arch/i386/kernel/irq.c b/linux/dev/arch/i386/kernel/irq.c -index 41bdaa3..974eaf8 100644 --- a/linux/dev/arch/i386/kernel/irq.c +++ b/linux/dev/arch/i386/kernel/irq.c @@ -83,6 +83,7 @@ struct linux_action @@ -554,7 +530,7 @@ index 41bdaa3..974eaf8 100644 action = action->next; } -@@ -233,6 +265,7 @@ setup_x86_irq (int irq, struct linux_action *new) +@@ -233,6 +265,7 @@ setup_x86_irq (int irq, struct linux_act } while (old); shared = 1; @@ -562,7 +538,7 @@ index 41bdaa3..974eaf8 100644 } save_flags (flags); -@@ -250,6 +283,51 @@ setup_x86_irq (int irq, struct linux_action *new) +@@ -250,6 +283,51 @@ setup_x86_irq (int irq, struct linux_act return 0; } @@ -614,7 +590,7 @@ index 41bdaa3..974eaf8 100644 /* * Attach a handler to an IRQ. */ -@@ -278,6 +356,7 @@ request_irq (unsigned int irq, void (*handler) (int, void *, struct pt_regs *), +@@ -278,6 +356,7 @@ request_irq (unsigned int irq, void (*ha action->next = NULL; action->dev_id = dev_id; action->flags = flags; @@ -622,11 +598,9 @@ index 41bdaa3..974eaf8 100644 retval = setup_x86_irq (irq, action); if (retval) -diff --git a/vm/vm_user.c b/vm/vm_user.c -index 59c2a36..6cd9d77 100644 --- a/vm/vm_user.c +++ b/vm/vm_user.c -@@ -413,3 +413,117 @@ kern_return_t vm_wire(host, map, start, size, access) +@@ -436,3 +436,117 @@ kern_return_t vm_wire(host, map, start, round_page(start+size), access); } @@ -744,8 +718,6 @@ index 59c2a36..6cd9d77 100644 + kfree ((vm_offset_t) pages, npages * sizeof (vm_page_t)); + return KERN_SUCCESS; +} -diff --git a/linux/dev/drivers/block/genhd.c b/linux/dev/drivers/block/genhd.c -index 95b499b..c360af6 100644 --- a/linux/dev/drivers/block/genhd.c +++ b/linux/dev/drivers/block/genhd.c @@ -786,7 +786,9 @@ void device_setup(void) @@ -759,11 +731,9 @@ index 95b499b..c360af6 100644 #endif #ifndef MACH console_map_init(); -diff --git a/kern/ipc_kobject.c b/kern/ipc_kobject.c -index c922d7f..078b1d0 100644 --- a/kern/ipc_kobject.c +++ b/kern/ipc_kobject.c -@@ -151,7 +151,8 @@ ipc_kobject_server(request) +@@ -152,7 +152,8 @@ ipc_kobject_server(request) device_server_routine(), device_pager_server_routine(), mach4_server_routine(), @@ -773,7 +743,7 @@ index c922d7f..078b1d0 100644 #if MACH_DEBUG extern mig_routine_t mach_debug_server_routine(); #endif -@@ -170,6 +171,7 @@ ipc_kobject_server(request) +@@ -172,6 +173,7 @@ ipc_kobject_server(request) #endif /* MACH_DEBUG */ || (routine = mach4_server_routine(&request->ikm_header)) != 0 || (routine = gnumach_server_routine(&request->ikm_header)) != 0 |