| /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 |
| } |
| /** @} |
| /** @} |
| */ |