Disable disabling the irq via device_intr_enable

2 files changed, 6 insertions, 6 deletions

diff --git a/device/ds_routines.c b/device/ds_routines.c
index 4f6b345..9d399ee 100644
--- a/device/ds_routines.c
+++ b/device/ds_routines.c
@@ -1844,11 +1844,10 @@ experimental_device_intr_enable(ipc_port_t master_port, int line, char status)
   if (master_port != master_device_port)
     return D_INVALID_OPERATION;
 
-  if (status)
-    /* TODO: better name for generic-to-arch-specific call */
-    enable_irq (line);
-  else
-    disable_irq (line);
+  if (! status)
+    return D_INVALID_OPERATION;
+
+  enable_irq (line);
   return 0;
 #endif	/* MACH_XEN */
 }
diff --git a/device/intr.c b/device/intr.c
index 6fca328..02e0bab 100644
--- a/device/intr.c
+++ b/device/intr.c
@@ -35,11 +35,12 @@ search_intr (int line, ipc_port_t dest)
   return NULL;
 }
 
+void intr_thread (void);
+
 /* This function can only be used in the interrupt handler. */
 void
 queue_intr (int line, ipc_port_t dest)
 {
-  extern void intr_thread ();
   struct intr_entry *e;
   
   cli ();