Go to the documentation of this file.
11 #ifndef _I8042_UNICORE32_H
12 #define _I8042_UNICORE32_H
14 #include <mach/hardware.h>
19 #define I8042_KBD_PHYS_DESC "isa0060/serio0"
20 #define I8042_AUX_PHYS_DESC "isa0060/serio1"
21 #define I8042_MUX_PHYS_DESC "isa0060/serio%d"
26 #define I8042_KBD_IRQ IRQ_PS2_KBD
27 #define I8042_AUX_IRQ IRQ_PS2_AUX
32 #define I8042_COMMAND_REG PS2_COMMAND
33 #define I8042_STATUS_REG PS2_STATUS
34 #define I8042_DATA_REG PS2_DATA
36 #define I8042_REGION_START (resource_size_t)(PS2_DATA)
37 #define I8042_REGION_SIZE (resource_size_t)(16)
39 static inline int i8042_read_data(
void)
44 static inline int i8042_read_status(
void)
49 static inline void i8042_write_data(
int val)
54 static inline void i8042_write_command(
int val)
59 static inline int i8042_platform_init(
void)
68 static inline void i8042_platform_exit(
void)