HelenOS sources

i8042_t           204 kernel/arch/amd64/src/amd64.c 	i8042_instance_t *i8042_instance = i8042_init((i8042_t *) I8042_BASE, IRQ_KBD);
i8042_t           282 kernel/arch/amd64/src/amd64.c 	i8042_cpu_reset((i8042_t *) I8042_BASE);
i8042_t           191 kernel/arch/ia32/src/ia32.c 	i8042_instance_t *i8042_instance = i8042_init((i8042_t *) I8042_BASE, IRQ_KBD);
i8042_t           269 kernel/arch/ia32/src/ia32.c 	i8042_cpu_reset((i8042_t *) I8042_BASE);
i8042_t           203 kernel/arch/ia64/src/ia64.c 	i8042_instance_t *i8042_instance = i8042_init((i8042_t *) I8042_BASE,
i8042_t            50 kernel/genarch/include/genarch/drivers/i8042/i8042.h 	i8042_t *i8042;
i8042_t            54 kernel/genarch/include/genarch/drivers/i8042/i8042.h extern i8042_instance_t *i8042_init(i8042_t *, inr_t);
i8042_t            56 kernel/genarch/include/genarch/drivers/i8042/i8042.h extern void i8042_cpu_reset(i8042_t *);
i8042_t            60 kernel/genarch/src/drivers/i8042/i8042.c 	i8042_t *dev = i8042_instance->i8042;
i8042_t            71 kernel/genarch/src/drivers/i8042/i8042.c 	i8042_t *dev = instance->i8042;
i8042_t            80 kernel/genarch/src/drivers/i8042/i8042.c static void i8042_clear_buffer(i8042_t *dev)
i8042_t            91 kernel/genarch/src/drivers/i8042/i8042.c static void i8042_send_command(i8042_t *dev, uint8_t cmd)
i8042_t           105 kernel/genarch/src/drivers/i8042/i8042.c i8042_instance_t *i8042_init(i8042_t *dev, inr_t inr)
i8042_t           135 kernel/genarch/src/drivers/i8042/i8042.c void i8042_cpu_reset(i8042_t *dev)
i8042_t           114 uspace/drv/char/i8042/i8042.c static void wait_ready(i8042_t *dev)
i8042_t           130 uspace/drv/char/i8042/i8042.c 	i8042_t *controller = (i8042_t *)arg;
i8042_t           163 uspace/drv/char/i8042/i8042.c errno_t i8042_init(i8042_t *dev, addr_range_t *regs, int irq_kbd,
i8042_t           362 uspace/drv/char/i8042/i8042.c 	i8042_t *i8042 = port->ctl;
i8042_t            96 uspace/drv/char/i8042/i8042.h extern errno_t i8042_init(i8042_t *, addr_range_t *, int, int, ddf_dev_t *);
i8042_t           119 uspace/drv/char/i8042/main.c 	i8042_t *i8042 = ddf_dev_data_alloc(device, sizeof(i8042_t));