/*
* Basic support for controlling the 8259 Programmable Interrupt Controllers.
*
* Initially written by Michael Brown (mcb30).
*/
#ifndef PIC8259_H
#define PIC8259_H
/* For segoff_t */
#include <segoff.h>
/* 8259 register locations */
/* Register command values */
/* Macros for acknowledging IRQs */
/* Utility macros to convert IRQ numbers to INT numbers and INT vectors */
/* Other constants */
/* Labels in assembly code (asm.S)
*/
extern void _undi_irq_handler_start;
extern void _undi_irq_handler ( void );
extern volatile uint16_t _undi_irq_trigger_count;
extern volatile uint16_t _undi_irq_fail_count;
extern volatile uint16_t _undi_irq_not_ours_count;
extern segoff_t _undi_irq_chain_to;
extern uint8_t _undi_irq_chain;
extern uint8_t _pxenv_undi_irq;
extern segoff_t _pxenv_undi_entrypointsp;
/* Function prototypes
*/
#ifdef DEBUG_IRQ
void dump_irq_status ( void );
#else
#define dump_irq_status()
#endif
#endif /* PIC8259_H */