45 	u64 b4_ = b4 & 0x7ffffffffffffLLU;  in modulo_carry_top()  local
47 	b[4] = b4_;  in modulo_carry_top()
191 		u128 b4_;  in fmul_fmul()  local
202 		b4_ = ((b4) & (((u128)(0x7ffffffffffffLLU))));  in fmul_fmul()
204 		t[4] = b4_;  in fmul_fmul()
249 	u128 b4_;  in fsquare_fsquare_()  local
259 	b4_ = ((b4) & (((u128)(0x7ffffffffffffLLU))));  in fsquare_fsquare_()
261 	tmp[4] = b4_;  in fsquare_fsquare_()
400 	u128 b4_;  in fscalar()  local
425 	b4_ = ((b4) & (((u128)(0x7ffffffffffffLLU))));  in fscalar()
427 	tmp[4] = b4_;  in fscalar()