Symbol: TDLB
sys/arch/sandpoint/stand/altboot/kse.c
177
CSR_WRITE_4(l, TDLB, VTOPHYS(txd));
sys/dev/pci/if_kse.c
764
CSR_WRITE_4(sc, TDLB, KSE_CDTXADDR(sc, 0));