palacios/include/geekos/irq.h

   1 /*
   2  * This is the device-driver interface to the interrupt system.
   3  * Copyright (c) 2001,2003 David H. Hovemeyer <daveho@cs.umd.edu>
   4  * $Revision: 1.2 $
   5  *
   6  * This is free software.  You are permitted to use,
   7  * redistribute, and modify it as specified in the file "COPYING".
   8  */
   9
  10 #ifndef GEEKOS_IRQ_H
  11 #define GEEKOS_IRQ_H
  12
  13 #include <geekos/int.h>
  14
  15 void Install_IRQ(int irq, Interrupt_Handler handler);
  16 ushort_t Get_IRQ_Mask(void);
  17 void Set_IRQ_Mask(ushort_t mask);
  18 void Enable_IRQ(int irq);
  19 void Disable_IRQ(int irq);
  20
  21 /*
  22  * IRQ handlers should call these to begin and end the
  23  * interrupt.
  24  */
  25 void Begin_IRQ(struct Interrupt_State* state);
  26 void End_IRQ_num(int irq);
  27 void End_IRQ(struct Interrupt_State* state);
  28
  29 #endif  /* GEEKOS_IRQ_H */