tl_intvec_adchk   252 dev/pci/if_tl.c int tl_intvec_adchk(void *, u_int32_t);
tl_intvec_adchk  1383 dev/pci/if_tl.c 			r = tl_intvec_adchk((void *)sc, type);