#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 | NAME "apic" |
Functions | |
static void | apic_connection (ipc_callid_t iid, ipc_call_t *icall) |
Handle one connection to APIC. | |
static int | apic_enable_irq (sysarg_t irq) |
static bool | apic_init (void) |
Initialize the APIC driver. | |
int | main (int argc, char **argv) |
Definition in file apic.c.