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