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