pckbd_set_leds    141 dev/pckbc/pckbd.c void	pckbd_set_leds(void *, int);
pckbd_set_leds    146 dev/pckbc/pckbd.c 	pckbd_set_leds,