i8259.c File Reference

i8259 driver. More...

#include <ipc/services.h>
#include <ipc/irc.h>
#include <ipc/ns.h>
#include <sysinfo.h>
#include <as.h>
#include <ddi.h>
#include <libarch/ddi.h>
#include <align.h>
#include <bool.h>
#include <errno.h>
#include <async.h>
#include <stdio.h>
#include <ipc/devmap.h>

Go to the source code of this file.

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

---

Detailed Description

i8259 driver.

Definition in file i8259.c.

---