Symbol: pwmclock_intr
sys/dev/pci/voyager/pwmclock.c
136
voyager_establish_intr(parent, 22, pwmclock_intr, NULL);
sys/dev/pci/voyager/pwmclock.c
55
int pwmclock_intr(void *);