HIGH_TX_MEMORY_BANK_START
u32 hi_addr = TS_EXT(HIGH_TX_MEMORY_BANK_START, lport, idx);
hi_addr = TS_EXT(HIGH_TX_MEMORY_BANK_START, lport, idx);