Searched refs:mask2 (Results 1 – 2 of 2) sorted by relevance
1775 + uint32_t mask2;1869 - uint32_t mask2 = FStar_UInt32_eq_mask(a2, (uint32_t)0x3ffffffU);1872 - uint32_t mask = (((mask0 & mask1) & mask2) & mask3) & mask4;1885 + mask2 = FStar_UInt32_eq_mask(a2, (uint32_t)0x3ffffffU);1888 + mask = (((mask0 & mask1) & mask2) & mask3) & mask4;
1992 sal_Int32 mask2 = VolumeInfoMask_TotalSpace; in ctors_003() local1993 ::osl::VolumeInfo aVolumeInfo2( mask2 ); in ctors_003()1995 CPPUNIT_ASSERT( sal_True == aVolumeInfo2.isValid( mask2 ) ); in ctors_003()
Completed in 396 milliseconds