arch/all-pc/kernel/xtpic.h

   1 #include <inttypes.h>
   2
   3 void XTPIC_Init(uint16_t *irqmask);
   4 void XTPIC_DisableIRQ(uint8_t irqnum, uint16_t *irqmask);
   5 void XTPIC_EnableIRQ(uint8_t irqnum, uint16_t *irqmask);
   6 void XTPIC_AckIntr(uint8_t intnum, uint16_t *irqmask);