ukbd_enable       311 dev/usb/ukbd.c int	ukbd_enable(void *, int);
ukbd_enable       320 dev/usb/ukbd.c 	ukbd_enable,
ukbd_enable       446 dev/usb/ukbd.c 		ukbd_enable(sc, 1);