hilkbd_set_leds    88 dev/hil/hilkbd.c void	hilkbd_set_leds(void *, int);
hilkbd_set_leds    93 dev/hil/hilkbd.c 	hilkbd_set_leds,
hilkbd_set_leds   310 dev/hil/hilkbd.c 		hilkbd_set_leds(v, *(int *)data);