Files | |
file | i8259.c |
i8259 driver. | |
Defines | |
#define | IO_RANGE0_SIZE 2 |
#define | IO_RANGE0_START ((ioport8_t *) 0x0020U) |
#define | IO_RANGE1_SIZE 2 |
#define | IO_RANGE1_START ((ioport8_t *) 0x00a0U) |
#define | NAME "i8259" |
#define | PIC_MAX_IRQ 15 |
#define | PIC_PIC0PORT1 0 |
#define | PIC_PIC0PORT2 1 |
#define | PIC_PIC1PORT1 0 |
#define | PIC_PIC1PORT2 1 |
Functions | |
static void | i8259_connection (ipc_callid_t iid, ipc_call_t *icall) |
Handle one connection to i8259. | |
static bool | i8259_init (void) |
Initialize the i8259 driver. | |
int | main (int argc, char **argv) |
static int | pic_enable_irq (sysarg_t irq) |
Variables | |
static ioport8_t * | io_range0 |
static ioport8_t * | io_range1 |
static void i8259_connection | ( | ipc_callid_t | iid, | |
ipc_call_t * | icall | |||
) | [static] |