Symbol: wzero3kbd_intr3
sys/arch/hpcarm/dev/wzero3_kbd.c
132
static int wzero3kbd_intr3(void *arg);
sys/arch/hpcarm/dev/wzero3_kbd.c
417
IPL_TTY, wzero3kbd_intr3, (void *)(long)i);