Symbol: wzero3tp_irq
sys/arch/hpcarm/dev/wzero3_tp.c
160
static int wzero3tp_irq(void *);
sys/arch/hpcarm/dev/wzero3_tp.c
327
wzero3tp_irq, sc);
sys/arch/hpcarm/dev/wzero3_tp.c
399
(void)wzero3tp_irq(v);