Symbol: wtap_hal_timer_intr
sys/dev/wtap/wtap_hal/hal.c
237
wtap_hal_timer_intr, hal);
sys/dev/wtap/wtap_hal/hal.h
60
void wtap_hal_timer_intr(void *);