43 	u64 b4_ = b4 & 0x7ffffffffffffLLU;  in modulo_carry_top()  local
45 	b[4] = b4_;  in modulo_carry_top()
189 		u128 b4_;  in fmul_fmul()  local
200 		b4_ = ((b4) & (((u128)(0x7ffffffffffffLLU))));  in fmul_fmul()
202 		t[4] = b4_;  in fmul_fmul()
247 	u128 b4_;  in fsquare_fsquare_()  local
257 	b4_ = ((b4) & (((u128)(0x7ffffffffffffLLU))));  in fsquare_fsquare_()
259 	tmp[4] = b4_;  in fsquare_fsquare_()
398 	u128 b4_;  in fscalar()  local
423 	b4_ = ((b4) & (((u128)(0x7ffffffffffffLLU))));  in fscalar()
425 	tmp[4] = b4_;  in fscalar()