Searched defs:highf2star (Results 1 – 2 of 2) sorted by relevance
481 UINT128 highf2star; // top 128 bits in f2*; low 128 bits in R256[1], R256[0] local