BCE_L2CTX_RX_NX_PG_BDHADDR_HI
BCE_L2CTX_RX_NX_PG_BDHADDR_HI));
CTX_WR(sc, GET_CID_ADDR(RX_CID), BCE_L2CTX_RX_NX_PG_BDHADDR_HI, val);