From 21d23d630eef3e4d830486389ecdee4bfd6c504a Mon Sep 17 00:00:00 2001
From: Justus Winter <justus@gnupg.org>
Date: Sun, 28 Feb 2016 00:12:03 +0100
Subject: Cleanups

---
 include/mach/experimental.defs | 14 ++------------
 1 file changed, 2 insertions(+), 12 deletions(-)

(limited to 'include')

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.
-- 
cgit v1.2.3