Symbol: kbdsoftint
sys/arch/x68k/dev/kbd.c
144
kbdsoftint, sc);
sys/arch/x68k/dev/kbd.c
85
static void kbdsoftint(void *);