CUDBG_NUM_ULPTX_READ
u32 rd_data[CUDBG_NUM_ULPTX][CUDBG_NUM_ULPTX_READ];
for (j = 0; j < CUDBG_NUM_ULPTX_READ; j++)