minor optimisations in rdht_tx_read_state
minor optimisations in rdht_tx_read_state

l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror