Go to the documentation of this file.
10 #if defined(CONFIG_WALNUT)
12 #define I8042_KBD_IRQ 25
13 #define I8042_AUX_IRQ 26
15 #define I8042_KBD_PHYS_DESC "walnutps2/serio0"
16 #define I8042_AUX_PHYS_DESC "walnutps2/serio1"
17 #define I8042_MUX_PHYS_DESC "walnutps2/serio%d"
22 #define I8042_COMMAND_REG (*(int *)kb_cs)
23 #define I8042_DATA_REG (*(int *)kb_data)
25 static inline int i8042_read_data(
void)
27 return readb(kb_data);
30 static inline int i8042_read_status(
void)
35 static inline void i8042_write_data(
int val)
40 static inline void i8042_write_command(
int val)
45 static inline int i8042_platform_init(
void)
51 static inline void i8042_platform_exit(
void)