/kernel/trunk/arch/ia32/src/drivers/i8259.c |
29,7 → 29,11 |
/** @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) |
133,4 → 132,3 |
|
/** @} |
*/ |
|
/kernel/trunk/arch/ia32/src/drivers/i8254.c |
29,7 → 29,11 |
/** @addtogroup ia32 |
* @{ |
*/ |
/** @file |
/** |
* @file |
* @brief i8254 chip driver. |
* |
* Low level time functions. |
*/ |
|
#include <arch/types.h> |
47,15 → 51,9 |
#include <time/delay.h> |
#include <interrupt.h> |
|
/* |
* i8254 chip driver. |
* Low level time functions. |
*/ |
|
#define CLK_PORT1 0x40 |
#define CLK_PORT4 0x43 |
|
|
#define CLK_CONST 1193180 |
#define MAGIC_NUMBER 1194 |
|
139,4 → 137,3 |
|
/** @} |
*/ |
|