Use tx_size_wide/high_unit in get_txb_ctx()

Change-Id: I88606ad4e0841fb1ccd18a0e63338723157451e5
1 file changed