BGE_HCC_RX_MAX_COAL_BDS
CSR_WRITE_4(sc, BGE_HCC_RX_MAX_COAL_BDS, rx_max_coal_bds);
CSR_WRITE_4(sc, BGE_HCC_RX_MAX_COAL_BDS, rx_bds);
(void)CSR_READ_4(sc, BGE_HCC_RX_MAX_COAL_BDS);