Symbol: cs4231_ebus_pint
sys/dev/ebus/cs4231_ebus.c
185
(void *)cs4231_ebus_pint, sc);
sys/dev/ebus/cs4231_ebus.c
80
static int cs4231_ebus_pint(void *);