Symbol: CAS_CDRXADDR2
sys/dev/pci/if_cas.c
1001
(((uint64_t)CAS_CDRXADDR2(sc,0)) >> 32));
sys/dev/pci/if_cas.c
1003
CAS_CDRXADDR2(sc, 0));
sys/dev/pci/if_cas.c
999
KASSERT((CAS_CDRXADDR2(sc, 0) & 0x1fff) == 0);