86 		u32 ctr = 0;  in fproduct_carry_wide_()  local
87 		u128 tctr = tmp[ctr];  in fproduct_carry_wide_()
88 		u128 tctrp1 = tmp[ctr + 1];  in fproduct_carry_wide_()
91 		tmp[ctr] = ((u128)(r0));  in fproduct_carry_wide_()
92 		tmp[ctr + 1] = ((tctrp1) + (c));  in fproduct_carry_wide_()
95 		u32 ctr = 1;  in fproduct_carry_wide_()  local
96 		u128 tctr = tmp[ctr];  in fproduct_carry_wide_()
97 		u128 tctrp1 = tmp[ctr + 1];  in fproduct_carry_wide_()
100 		tmp[ctr] = ((u128)(r0));  in fproduct_carry_wide_()
101 		tmp[ctr + 1] = ((tctrp1) + (c));  in fproduct_carry_wide_()
105 		u32 ctr = 2;  in fproduct_carry_wide_()  local
106 		u128 tctr = tmp[ctr];  in fproduct_carry_wide_()
107 		u128 tctrp1 = tmp[ctr + 1];  in fproduct_carry_wide_()
110 		tmp[ctr] = ((u128)(r0));  in fproduct_carry_wide_()
111 		tmp[ctr + 1] = ((tctrp1) + (c));  in fproduct_carry_wide_()
114 		u32 ctr = 3;  in fproduct_carry_wide_()  local
115 		u128 tctr = tmp[ctr];  in fproduct_carry_wide_()
116 		u128 tctrp1 = tmp[ctr + 1];  in fproduct_carry_wide_()
119 		tmp[ctr] = ((u128)(r0));  in fproduct_carry_wide_()
120 		tmp[ctr + 1] = ((tctrp1) + (c));  in fproduct_carry_wide_()
129 		u32 ctr = 5 - 0 - 1;  in fmul_shift_reduce()  local
130 		u64 z = output[ctr - 1];  in fmul_shift_reduce()
131 		output[ctr] = z;  in fmul_shift_reduce()
134 		u32 ctr = 5 - 1 - 1;  in fmul_shift_reduce()  local
135 		u64 z = output[ctr - 1];  in fmul_shift_reduce()
136 		output[ctr] = z;  in fmul_shift_reduce()
139 		u32 ctr = 5 - 2 - 1;  in fmul_shift_reduce()  local
140 		u64 z = output[ctr - 1];  in fmul_shift_reduce()
141 		output[ctr] = z;  in fmul_shift_reduce()
144 		u32 ctr = 5 - 3 - 1;  in fmul_shift_reduce()  local
145 		u64 z = output[ctr - 1];  in fmul_shift_reduce()
146 		output[ctr] = z;  in fmul_shift_reduce()
441 							u64 swap1, u32 ctr)  in point_swap_conditional_step()  argument
443 	u32 i = ctr - 1;  in point_swap_conditional_step()