kbd_enable
int kbd_enable(void *, int);
kbd_enable,
static int kbd_enable(void *, int);
kbd_enable,
kbd_enable,
int kbd_enable(void *, int);
config_interrupts(k->k_dev, kbd_enable);
static void kbd_enable(device_t); /* deferred keyboard init */