pckbd_enable      140 dev/pckbc/pckbd.c int	pckbd_enable(void *, int);
pckbd_enable      145 dev/pckbc/pckbd.c 	pckbd_enable,