#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.
1.4.7