diff options
| author | Justus Winter <justus@gnupg.org> | 2016-02-28 00:12:03 +0100 |
|---|---|---|
| committer | Justus Winter <justus@gnupg.org> | 2016-02-28 00:15:22 +0100 |
| commit | 21d23d630eef3e4d830486389ecdee4bfd6c504a (patch) | |
| tree | 5b6ea5a13a6bd0fd99fe006e2f729f8189a4666a /include | |
| parent | 7ae251bd9cdc26e03eb3300ace23209bc50493e6 (diff) | |
Cleanupsjustus/dde-0
Diffstat (limited to 'include')
| -rw-r--r-- | include/mach/experimental.defs | 14 |
1 files changed, 2 insertions, 12 deletions
diff --git a/include/mach/experimental.defs b/include/mach/experimental.defs index 11c51d6..16850df 100644 --- a/include/mach/experimental.defs +++ b/include/mach/experimental.defs @@ -58,21 +58,11 @@ routine device_intr_register( * ID seems unused. dde hands in 0. */ -/* - * enable the specified line. - */ -/* Is the disable part actually used at all? -- No. */ -/* AIUI, the kernel IRQ handler should always disable the line; and - * the userspace driver only has to reenable it, after acknowledging - * and handling the interrupt... - * - * -- Indeed, and we should change the interface so that the irq is - * also re-enabled if the driver crashes. - */ +/* This no longer does anything. */ routine device_intr_enable( master_port : mach_port_t; line : int; - status : char /* MUST be true-ish */); + status : char); /* * This routine is created for allocating DMA buffers. |