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