Symbol: CAS_CDRXADDR2
sys/dev/pci/if_cas.c
1219
KASSERT((CAS_CDRXADDR2(sc, 0) & 0x1fff) == 0);
sys/dev/pci/if_cas.c
1221
BUS_ADDR_HI32(CAS_CDRXADDR2(sc, 0)));
sys/dev/pci/if_cas.c
1223
BUS_ADDR_LO32(CAS_CDRXADDR2(sc, 0)));