hil_do            223 drivers/input/keyboard/hilkbd.c 	hil_do(HIL_INTON, NULL, 0);
hil_do            227 drivers/input/keyboard/hilkbd.c 	hil_do(HIL_READKBDSADR, NULL, 0);
hil_do            245 drivers/input/keyboard/hilkbd.c 	hil_do(HIL_WRITEKBDSADR, &c, 1);
hil_do            277 drivers/input/keyboard/hilkbd.c 	hil_do(HIL_INTOFF, NULL, 0);
hil_do            291 drivers/input/keyboard/hilkbd.c 	hil_do(HIL_INTOFF, NULL, 0);