HelenOS sources

i8042_KBD_TRANSLATE  331 uspace/drv/char/i8042/i8042.c 	pio_write_8(&dev->regs->data, i8042_KBD_IE | i8042_KBD_TRANSLATE |
i8042_KBD_TRANSLATE  358 uspace/drv/char/i8042/i8042.c 	pio_write_8(&dev->regs->data, i8042_KBD_TRANSLATE);
HelenOS homepage, sources at GitHub