convert_64to32
convert_64to32((uint_t *)&tx.csi, (uint64_t *)&nx.csi,
convert_64to32((uint_t *)&tx.cvmi, (uint64_t *)&nx.cvmi,
convert_64to32((uint_t *)&tx.si, (uint64_t *)&nx.si,
convert_64to32 = 1;
if (convert_64to32) {
if (convert_64to32) {
int convert_64to32 = 0;