Searched refs:upm_second (Results 1 – 1 of 1) sorted by relevance
1813 uvm_physseg_t upm_second; in ATF_TC_BODY() local1827 upm_second = uvm_page_physload(VALID_START_PFN_2, VALID_END_PFN_2, in ATF_TC_BODY()1853 ATF_CHECK_EQ(upm_second, result); in ATF_TC_BODY()1854 ATF_CHECK_EQ(uvm_physseg_get_start(upm_second), in ATF_TC_BODY()1856 ATF_CHECK_EQ(uvm_physseg_get_end(upm_second), in ATF_TC_BODY()1858 ATF_CHECK_EQ(uvm_physseg_get_avail_start(upm_second), in ATF_TC_BODY()1860 ATF_CHECK_EQ(uvm_physseg_get_avail_end(upm_second), in ATF_TC_BODY()