Searched refs:DGE_TDBAH (Results 1 – 2 of 2) sorted by relevance
82 #define DGE_TDBAH 0x060c macro
1923 CSR_WRITE(sc, DGE_TDBAH, ((uint64_t)DGE_CDTXADDR(sc, 0)) >> 32);