hilkbd_enable      87 dev/hil/hilkbd.c int	hilkbd_enable(void *, int);
hilkbd_enable      92 dev/hil/hilkbd.c 	hilkbd_enable,