#include <ddi.h>
#include <libarch/ddi.h>
#include <devmap.h>
#include <async.h>
#include <unistd.h>
#include <sysinfo.h>
#include <stdio.h>
#include <errno.h>
#include <inttypes.h>
#include "i8042.h"
Go to the source code of this file.
Defines | |
#define | i8042_AUX_DATA 0x20 |
#define | i8042_AUX_DISABLE 0x20 |
#define | i8042_AUX_IE 0x02 |
#define | i8042_CMD_WRITE_AUX 0xd4 |
write aux device | |
#define | i8042_CMD_WRITE_CMDB 0x60 |
write command byte | |
#define | i8042_INPUT_FULL 0x02 |
#define | i8042_KBD_DISABLE 0x10 |
#define | i8042_KBD_IE 0x01 |
#define | i8042_KBD_TRANSLATE 0x40 |
#define | i8042_OUTPUT_FULL 0x01 |
#define | NAME "i8042" |
#define | NAMESPACE "char" |
Enumerations | |
enum | { DEVID_PRI = 0, DEVID_AUX = 1 } |
Functions | |
static void | i8042_connection (ipc_callid_t iid, ipc_call_t *icall) |
Character device connection handler. | |
static int | i8042_init (void) |
static void | i8042_irq_handler (ipc_callid_t iid, ipc_call_t *call) |
static void | i8042_port_write (int devid, uint8_t data) |
int | main (int argc, char *argv[]) |
Main entry point. | |
static void | wait_ready (void) |
Variables | |
static i8042_t * | i8042 |
static irq_cmd_t | i8042_cmds [] |
static irq_code_t | i8042_kbd |
static uintptr_t | i8042_kernel |
static uintptr_t | i8042_physical |
static i8042_port_t | i8042_port [MAX_DEVS] |
Definition in file i8042.c.