Symbol: tl_intvec_adchk
sys/dev/pci/if_tl.c
1278
r = tl_intvec_adchk((void *)sc, type);
sys/dev/pci/if_tl.c
243
int tl_intvec_adchk(void *, u_int32_t);