WX_TDM_VFTE_CLR
wr32(wx, WX_TDM_VFTE_CLR(index), reg_req_tx);
wr32(wx, WX_TDM_VFTE_CLR(0), U32_MAX);
wr32(wx, WX_TDM_VFTE_CLR(1), U32_MAX);