Searched refs:top_bit0 (Results 1 – 1 of 1) sorted by relevance
1162 u64 top_bit0 = f30 >> (u32)63U; in store_felem() local1183 add_scalar(f, f, (u64)19U * top_bit0); in store_felem()