/kernel/trunk/arch/ia32/src/drivers/i8259.c |
---|
26,10 → 26,14 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup ia32 |
/** @addtogroup ia32 |
* @{ |
*/ |
/** @file |
/** |
* @file |
* @brief PIC driver. |
* |
* Programmable Interrupt Controller for UP systems based on i8259 chip. |
*/ |
#include <arch/drivers/i8259.h> |
40,11 → 44,6 |
#include <print.h> |
#include <interrupt.h> |
/* |
* This is the PIC driver. |
* Programmable Interrupt Controller for UP systems. |
*/ |
static void pic_spurious(int n, istate_t *istate); |
void i8259_init(void) |
131,6 → 130,5 |
#endif |
} |
/** @} |
/** @} |
*/ |