64 	mp_digit *u, z;  in ec_GF2m_233_mod()  local
77 	z = u[7];  in ec_GF2m_233_mod()
78 	u[4] ^= (z << 33) ^ (z >> 41);  in ec_GF2m_233_mod()
79 	u[3] ^= (z << 23);  in ec_GF2m_233_mod()
80 	z = u[6];  in ec_GF2m_233_mod()
81 	u[4] ^= (z >> 31);  in ec_GF2m_233_mod()
82 	u[3] ^= (z << 33) ^ (z >> 41);  in ec_GF2m_233_mod()
83 	u[2] ^= (z << 23);  in ec_GF2m_233_mod()
84 	z = u[5];  in ec_GF2m_233_mod()
85 	u[3] ^= (z >> 31);  in ec_GF2m_233_mod()
86 	u[2] ^= (z << 33) ^ (z >> 41);  in ec_GF2m_233_mod()
87 	u[1] ^= (z << 23);  in ec_GF2m_233_mod()
88 	z = u[4];  in ec_GF2m_233_mod()
89 	u[2] ^= (z >> 31);  in ec_GF2m_233_mod()
90 	u[1] ^= (z << 33) ^ (z >> 41);  in ec_GF2m_233_mod()
91 	u[0] ^= (z << 23);  in ec_GF2m_233_mod()
92 	z = u[3] >> 41;				/* z only has 23 significant bits */  in ec_GF2m_233_mod()
93 	u[1] ^= (z << 10);  in ec_GF2m_233_mod()
94 	u[0] ^= z;  in ec_GF2m_233_mod()
97 	u[3] ^= z << 41;  in ec_GF2m_233_mod()
106 	z = u[14];  in ec_GF2m_233_mod()
107 	u[9] ^= (z << 1);  in ec_GF2m_233_mod()
108 	u[7] ^= (z >> 9);  in ec_GF2m_233_mod()
109 	u[6] ^= (z << 23);  in ec_GF2m_233_mod()
110 	z = u[13];  in ec_GF2m_233_mod()
111 	u[9] ^= (z >> 31);  in ec_GF2m_233_mod()
112 	u[8] ^= (z << 1);  in ec_GF2m_233_mod()
113 	u[6] ^= (z >> 9);  in ec_GF2m_233_mod()
114 	u[5] ^= (z << 23);  in ec_GF2m_233_mod()
115 	z = u[12];  in ec_GF2m_233_mod()
116 	u[8] ^= (z >> 31);  in ec_GF2m_233_mod()
117 	u[7] ^= (z << 1);  in ec_GF2m_233_mod()
118 	u[5] ^= (z >> 9);  in ec_GF2m_233_mod()
119 	u[4] ^= (z << 23);  in ec_GF2m_233_mod()
120 	z = u[11];  in ec_GF2m_233_mod()
121 	u[7] ^= (z >> 31);  in ec_GF2m_233_mod()
122 	u[6] ^= (z << 1);  in ec_GF2m_233_mod()
123 	u[4] ^= (z >> 9);  in ec_GF2m_233_mod()
124 	u[3] ^= (z << 23);  in ec_GF2m_233_mod()
125 	z = u[10];  in ec_GF2m_233_mod()
126 	u[6] ^= (z >> 31);  in ec_GF2m_233_mod()
127 	u[5] ^= (z << 1);  in ec_GF2m_233_mod()
128 	u[3] ^= (z >> 9);  in ec_GF2m_233_mod()
129 	u[2] ^= (z << 23);  in ec_GF2m_233_mod()
130 	z = u[9];  in ec_GF2m_233_mod()
131 	u[5] ^= (z >> 31);  in ec_GF2m_233_mod()
132 	u[4] ^= (z << 1);  in ec_GF2m_233_mod()
133 	u[2] ^= (z >> 9);  in ec_GF2m_233_mod()
134 	u[1] ^= (z << 23);  in ec_GF2m_233_mod()
135 	z = u[8];  in ec_GF2m_233_mod()
136 	u[4] ^= (z >> 31);  in ec_GF2m_233_mod()
137 	u[3] ^= (z << 1);  in ec_GF2m_233_mod()
138 	u[1] ^= (z >> 9);  in ec_GF2m_233_mod()
139 	u[0] ^= (z << 23);  in ec_GF2m_233_mod()
140 	z = u[7] >> 9;				/* z only has 23 significant bits */  in ec_GF2m_233_mod()
141 	u[3] ^= (z >> 22);  in ec_GF2m_233_mod()
142 	u[2] ^= (z << 10);  in ec_GF2m_233_mod()
143 	u[0] ^= z;  in ec_GF2m_233_mod()
146 	u[7] ^= z << 9;  in ec_GF2m_233_mod()