HelenOS sources

i8042_init        105 kernel/genarch/src/drivers/i8042/i8042.c i8042_instance_t *i8042_init(i8042_t *dev, inr_t inr)
i8042_init        163 uspace/drv/char/i8042/i8042.c errno_t i8042_init(i8042_t *dev, addr_range_t *regs, int irq_kbd,
HelenOS homepage, sources at GitHub