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;
1814 sal_Int32 mask2 = VolumeInfoMask_TotalSpace; in TEST_F() local1815 ::osl::VolumeInfo aVolumeInfo2( mask2 ); in TEST_F()1817 ASSERT_TRUE( sal_True == aVolumeInfo2.isValid( mask2 ) ); in TEST_F()
Completed in 193 milliseconds