VALID_START_PFN_3
upm_next = uvm_page_physload(VALID_START_PFN_3, VALID_END_PFN_3,
ATF_CHECK_EQ(VALID_START_PFN_3, uvm_physseg_get_start(upm));
uvm_page_physload(VALID_START_PFN_3, VALID_END_PFN_3,
upm_first =uvm_page_physload(VALID_START_PFN_3, VALID_END_PFN_3,
upm_last = uvm_page_physload(VALID_START_PFN_3, VALID_END_PFN_3,
ATF_CHECK_EQ(VALID_START_PFN_3, uvm_physseg_get_start(upm));
uvm_page_physload(VALID_START_PFN_3, VALID_END_PFN_3,
upm = uvm_page_physload(VALID_START_PFN_3, VALID_END_PFN_3,
psize_t npages3 = (VALID_END_PFN_3 - VALID_START_PFN_3);
ATF_REQUIRE_EQ(uvm_physseg_plug(VALID_START_PFN_3, npages3, &upm3), true);
psize_t npages3 = (VALID_END_PFN_3 - VALID_START_PFN_3);
psize_t npages2 = (VALID_END_PFN_3 - VALID_START_PFN_3);
ATF_REQUIRE_EQ(true, uvm_physseg_plug(VALID_START_PFN_3, npages2, NULL));
for(pf = VALID_START_PFN_3; pf < VALID_END_PFN_3; pf += PF_STEP) {
if(pa < ctob(VALID_START_PFN_3))
pa += ctob(VALID_START_PFN_3);