Searched refs:mask1 (Results 1 – 2 of 2) sorted by relevance
1774 + uint32_t mask1;1868 - uint32_t mask1 = FStar_UInt32_eq_mask(a1, (uint32_t)0x3ffffffU);1872 - uint32_t mask = (((mask0 & mask1) & mask2) & mask3) & mask4;1884 + mask1 = FStar_UInt32_eq_mask(a1, (uint32_t)0x3ffffffU);1888 + mask = (((mask0 & mask1) & mask2) & mask3) & mask4;
1805 sal_Int32 mask1 = VolumeInfoMask_FreeSpace; in TEST_F() local1806 ::osl::VolumeInfo aVolumeInfo1( mask1 ); in TEST_F()1808 ASSERT_TRUE( sal_True == aVolumeInfo1.isValid( mask1 ) ); in TEST_F()
Completed in 136 milliseconds