/*
* This is the device-driver interface to the interrupt system.
* Copyright (c) 2001,2003 David H. Hovemeyer <daveho@cs.umd.edu>
- * $Revision: 1.1 $
+ * $Revision: 1.3 $
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "COPYING".
#include <geekos/io.h>
#include <geekos/irq.h>
+#include <geekos/debug.h>
+
/* ----------------------------------------------------------------------
* Private functions and data
* ---------------------------------------------------------------------- */
*/
void Begin_IRQ(struct Interrupt_State* state)
{
+
}
/*
void End_IRQ(struct Interrupt_State* state)
{
int irq = state->intNum - FIRST_EXTERNAL_INT;
+ End_IRQ_num(irq);
+}
+
+
+void End_IRQ_num(int irq) {
uchar_t command = 0x60 | (irq & 0x7);
if (irq < 8) {