234 	uvm_physseg_dump_seg(uvm_physseg_t upm)  in uvm_physseg_dump_seg()  argument
238 		    uvm_physseg_get_start(upm));  in uvm_physseg_dump_seg()
240 		    uvm_physseg_get_end(upm));  in uvm_physseg_dump_seg()
242 		    uvm_physseg_get_avail_start(upm));  in uvm_physseg_dump_seg()
244 		    uvm_physseg_get_avail_end(upm));  in uvm_physseg_dump_seg()
543 	uvm_physseg_t upm;  in ATF_TC_BODY()  local
584 	upm = uvm_physseg_find(atop(TWOFIFTYSIX_KILO + FIVEONETWO_KILO), NULL);  in ATF_TC_BODY()
586 	ATF_REQUIRE(uvm_physseg_valid_p(upm));  in ATF_TC_BODY()
592 	ATF_REQUIRE_EQ(false, uvm_physseg_valid_p(upm));  in ATF_TC_BODY()
637 	uvm_physseg_t upm;  in ATF_TC_BODY()  local
641 	upm = uvm_page_physload(VALID_START_PFN_1, VALID_END_PFN_1,  in ATF_TC_BODY()
645 	ATF_REQUIRE(uvm_physseg_valid_p(upm));  in ATF_TC_BODY()
655 	upm = uvm_page_physload(VALID_START_PFN_2, VALID_END_PFN_2,  in ATF_TC_BODY()
659 	ATF_REQUIRE(uvm_physseg_valid_p(upm));  in ATF_TC_BODY()
676 	uvm_physseg_t upm;  in ATF_TC_BODY()  local
685 	upm = uvm_page_physload(VALID_START_PFN_1, VALID_END_PFN_1,  in ATF_TC_BODY()
689 	ATF_REQUIRE(uvm_physseg_valid_p(upm));  in ATF_TC_BODY()
703 	upm = uvm_page_physload(VALID_START_PFN_2, VALID_END_PFN_2,  in ATF_TC_BODY()
707 	ATF_REQUIRE(uvm_physseg_valid_p(upm));  in ATF_TC_BODY()
723 	uvm_physseg_t upm;  in ATF_TC_BODY()  local
729 	upm = uvm_page_physload(VALID_START_PFN_2, VALID_END_PFN_2,  in ATF_TC_BODY()
736 	ATF_CHECK_EQ(UVM_PHYSSEG_TYPE_INVALID_EMPTY, uvm_physseg_get_prev(upm));  in ATF_TC_BODY()
748 	upm = uvm_physseg_get_prev(upm);  in ATF_TC_BODY()
758 	ATF_CHECK(UVM_PHYSSEG_TYPE_INVALID_EMPTY != upm);  in ATF_TC_BODY()
759 	ATF_CHECK_EQ(VALID_START_PFN_1, uvm_physseg_get_start(upm));  in ATF_TC_BODY()
760 	ATF_CHECK_EQ(VALID_END_PFN_1, uvm_physseg_get_end(upm));  in ATF_TC_BODY()
904 	uvm_physseg_t upm;
909 	upm = uvm_page_physload(VALID_START_PFN_1, VALID_END_PFN_1,
923 	uvm_physseg_seg_chomp_slab(upm, pgs, npages);
928 	uvm_physseg_alloc_from_slab(upm, npages);
931 	uvm_physseg_init_seg(upm, pgs);
940 	upm =uvm_page_physload(VALID_START_PFN_2, VALID_END_PFN_2,
958 	uvm_physseg_t upm;  in ATF_TC_BODY()  local
963 	upm = uvm_page_physload(VALID_START_PFN_1, VALID_END_PFN_1,  in ATF_TC_BODY()
970 	ATF_CHECK_EQ(VALID_START_PFN_1, uvm_physseg_get_start(upm));  in ATF_TC_BODY()
974 	upm = uvm_page_physload(VALID_START_PFN_2, VALID_END_PFN_2,  in ATF_TC_BODY()
981 	ATF_CHECK_EQ(VALID_START_PFN_2, uvm_physseg_get_start(upm));  in ATF_TC_BODY()
1021 	uvm_physseg_t upm;  in ATF_TC_BODY()  local
1024 	upm = uvm_page_physload(VALID_START_PFN_1, VALID_END_PFN_1,  in ATF_TC_BODY()
1031 	ATF_CHECK_EQ(VALID_END_PFN_1, uvm_physseg_get_end(upm));  in ATF_TC_BODY()
1035 	upm = uvm_page_physload(VALID_START_PFN_2, VALID_END_PFN_2,  in ATF_TC_BODY()
1042 	ATF_CHECK_EQ(VALID_END_PFN_2, uvm_physseg_get_end(upm));  in ATF_TC_BODY()
1082 	uvm_physseg_t upm;  in ATF_TC_BODY()  local
1085 	upm = uvm_page_physload(VALID_START_PFN_1, VALID_END_PFN_1,  in ATF_TC_BODY()
1092 	ATF_CHECK_EQ(VALID_AVAIL_START_PFN_1, uvm_physseg_get_avail_start(upm));  in ATF_TC_BODY()
1096 	upm = uvm_page_physload(VALID_START_PFN_2, VALID_END_PFN_2,  in ATF_TC_BODY()
1103 	ATF_CHECK_EQ(VALID_AVAIL_START_PFN_2, uvm_physseg_get_avail_start(upm));  in ATF_TC_BODY()
1143 	uvm_physseg_t upm;  in ATF_TC_BODY()  local
1146 	upm = uvm_page_physload(VALID_START_PFN_1, VALID_END_PFN_1,  in ATF_TC_BODY()
1153 	ATF_CHECK_EQ(VALID_AVAIL_END_PFN_1, uvm_physseg_get_avail_end(upm));  in ATF_TC_BODY()
1157 	upm = uvm_page_physload(VALID_START_PFN_2, VALID_END_PFN_2,  in ATF_TC_BODY()
1164 	ATF_CHECK_EQ(VALID_AVAIL_END_PFN_2, uvm_physseg_get_avail_end(upm));  in ATF_TC_BODY()
1204 	uvm_physseg_t upm;  in ATF_TC_BODY()  local
1212 	upm = uvm_page_physload(VALID_START_PFN_1, VALID_END_PFN_1,  in ATF_TC_BODY()
1220 	    uvm_physseg_get_next(upm));  in ATF_TC_BODY()
1231 	upm = uvm_physseg_get_next(upm); /* Fetch Next */  in ATF_TC_BODY()
1233 	ATF_CHECK_EQ(upm_next, upm);  in ATF_TC_BODY()
1234 	ATF_CHECK_EQ(VALID_START_PFN_2, uvm_physseg_get_start(upm));  in ATF_TC_BODY()
1235 	ATF_CHECK_EQ(VALID_END_PFN_2, uvm_physseg_get_end(upm));  in ATF_TC_BODY()
1247 	upm = uvm_physseg_get_next(upm); /* Fetch Next */  in ATF_TC_BODY()
1249 	ATF_CHECK_EQ(upm_next, upm);  in ATF_TC_BODY()
1250 	ATF_CHECK_EQ(VALID_START_PFN_3, uvm_physseg_get_start(upm));  in ATF_TC_BODY()
1251 	ATF_CHECK_EQ(VALID_END_PFN_3, uvm_physseg_get_end(upm));  in ATF_TC_BODY()
1264 	uvm_physseg_t upm = UVM_PHYSSEG_TYPE_INVALID;  in ATF_TC_BODY()  local
1266 	ATF_CHECK_EQ(UVM_PHYSSEG_TYPE_INVALID, uvm_physseg_get_next(upm));  in ATF_TC_BODY()
1278 	uvm_physseg_t upm;  in ATF_TC_BODY()  local
1296 	upm = uvm_page_physload(VALID_START_PFN_2, VALID_END_PFN_2,  in ATF_TC_BODY()
1304 	upm = uvm_physseg_get_prev(upm);  in ATF_TC_BODY()
1306 	ATF_CHECK_EQ(upm_prev, upm);  in ATF_TC_BODY()
1307 	ATF_CHECK_EQ(VALID_START_PFN_1, uvm_physseg_get_start(upm));  in ATF_TC_BODY()
1308 	ATF_CHECK_EQ(VALID_END_PFN_1, uvm_physseg_get_end(upm));  in ATF_TC_BODY()
1324 	upm = uvm_physseg_get_prev(upm);  in ATF_TC_BODY()
1326 	ATF_CHECK_EQ(UVM_PHYSSEG_TYPE_INVALID_EMPTY, upm);  in ATF_TC_BODY()
1339 	uvm_physseg_t upm = UVM_PHYSSEG_TYPE_INVALID;  in ATF_TC_BODY()  local
1341 	ATF_CHECK_EQ(UVM_PHYSSEG_TYPE_INVALID, uvm_physseg_get_prev(upm));  in ATF_TC_BODY()
1352 	uvm_physseg_t upm = UVM_PHYSSEG_TYPE_INVALID_EMPTY;  in ATF_TC_BODY()  local
1359 	ATF_CHECK_EQ(upm, uvm_physseg_get_first());  in ATF_TC_BODY()
1369 	upm = uvm_physseg_get_first();  in ATF_TC_BODY()
1370 	ATF_CHECK_EQ(upm_first, upm);  in ATF_TC_BODY()
1371 	ATF_CHECK_EQ(VALID_START_PFN_2, uvm_physseg_get_start(upm));  in ATF_TC_BODY()
1372 	ATF_CHECK_EQ(VALID_END_PFN_2, uvm_physseg_get_end(upm));  in ATF_TC_BODY()
1373 	ATF_CHECK_EQ(VALID_AVAIL_START_PFN_2, uvm_physseg_get_avail_start(upm));  in ATF_TC_BODY()
1374 	ATF_CHECK_EQ(VALID_AVAIL_END_PFN_2, uvm_physseg_get_avail_end(upm));  in ATF_TC_BODY()
1387 	upm = uvm_physseg_get_first();  in ATF_TC_BODY()
1388 	ATF_CHECK_EQ(upm_first, upm);  in ATF_TC_BODY()
1389 	ATF_CHECK_EQ(VALID_START_PFN_1, uvm_physseg_get_start(upm));  in ATF_TC_BODY()
1390 	ATF_CHECK_EQ(VALID_END_PFN_1, uvm_physseg_get_end(upm));  in ATF_TC_BODY()
1391 	ATF_CHECK_EQ(VALID_AVAIL_START_PFN_1, uvm_physseg_get_avail_start(upm));  in ATF_TC_BODY()
1392 	ATF_CHECK_EQ(VALID_AVAIL_END_PFN_1, uvm_physseg_get_avail_end(upm));  in ATF_TC_BODY()
1406 	upm = uvm_physseg_get_first();  in ATF_TC_BODY()
1407 	ATF_CHECK(upm_first != upm);  in ATF_TC_BODY()
1408 	ATF_CHECK_EQ(VALID_START_PFN_1, uvm_physseg_get_start(upm));  in ATF_TC_BODY()
1409 	ATF_CHECK_EQ(VALID_END_PFN_1, uvm_physseg_get_end(upm));  in ATF_TC_BODY()
1410 	ATF_CHECK_EQ(VALID_AVAIL_START_PFN_1, uvm_physseg_get_avail_start(upm));  in ATF_TC_BODY()
1411 	ATF_CHECK_EQ(VALID_AVAIL_END_PFN_1, uvm_physseg_get_avail_end(upm));  in ATF_TC_BODY()
1423 	uvm_physseg_t upm = UVM_PHYSSEG_TYPE_INVALID_EMPTY;  in ATF_TC_BODY()  local
1429 	ATF_CHECK_EQ(upm, uvm_physseg_get_last());  in ATF_TC_BODY()
1439 	upm = uvm_physseg_get_last();  in ATF_TC_BODY()
1440 	ATF_CHECK_EQ(upm_last, upm);  in ATF_TC_BODY()
1441 	ATF_CHECK_EQ(VALID_START_PFN_1, uvm_physseg_get_start(upm));  in ATF_TC_BODY()
1442 	ATF_CHECK_EQ(VALID_END_PFN_1, uvm_physseg_get_end(upm));  in ATF_TC_BODY()
1443 	ATF_CHECK_EQ(VALID_AVAIL_START_PFN_1, uvm_physseg_get_avail_start(upm));  in ATF_TC_BODY()
1444 	ATF_CHECK_EQ(VALID_AVAIL_END_PFN_1, uvm_physseg_get_avail_end(upm));  in ATF_TC_BODY()
1457 	upm = uvm_physseg_get_last();  in ATF_TC_BODY()
1458 	ATF_CHECK_EQ(upm_last, upm);  in ATF_TC_BODY()
1459 	ATF_CHECK_EQ(VALID_START_PFN_2, uvm_physseg_get_start(upm));  in ATF_TC_BODY()
1460 	ATF_CHECK_EQ(VALID_END_PFN_2, uvm_physseg_get_end(upm));  in ATF_TC_BODY()
1461 	ATF_CHECK_EQ(VALID_AVAIL_START_PFN_2, uvm_physseg_get_avail_start(upm));  in ATF_TC_BODY()
1462 	ATF_CHECK_EQ(VALID_AVAIL_END_PFN_2, uvm_physseg_get_avail_end(upm));  in ATF_TC_BODY()
1476 	upm = uvm_physseg_get_last();  in ATF_TC_BODY()
1477 	ATF_CHECK_EQ(upm_last, upm);  in ATF_TC_BODY()
1478 	ATF_CHECK_EQ(VALID_START_PFN_3, uvm_physseg_get_start(upm));  in ATF_TC_BODY()
1479 	ATF_CHECK_EQ(VALID_END_PFN_3, uvm_physseg_get_end(upm));  in ATF_TC_BODY()
1480 	ATF_CHECK_EQ(VALID_AVAIL_START_PFN_3, uvm_physseg_get_avail_start(upm));  in ATF_TC_BODY()
1481 	ATF_CHECK_EQ(VALID_AVAIL_END_PFN_3, uvm_physseg_get_avail_end(upm));  in ATF_TC_BODY()
1497 	uvm_physseg_t upm;  in ATF_TC_BODY()  local
1500 	upm = uvm_page_physload(VALID_START_PFN_1, VALID_END_PFN_1,  in ATF_TC_BODY()
1507 	uvm_physseg_init_seg(upm, pgs);  in ATF_TC_BODY()
1511 	ATF_CHECK_EQ(true, uvm_physseg_valid_p(upm));  in ATF_TC_BODY()
1522 	uvm_physseg_t upm;  in ATF_TC_BODY()  local
1525 	upm = uvm_page_physload(VALID_START_PFN_1, VALID_END_PFN_1,  in ATF_TC_BODY()
1540 	ATF_CHECK_EQ(false, uvm_physseg_valid_p(upm));  in ATF_TC_BODY()
1586 	uvm_physseg_t upm;  in ATF_TC_BODY()  local
1592 	upm = uvm_page_physload(VALID_START_PFN_1, VALID_END_PFN_1,  in ATF_TC_BODY()
1595 	ATF_CHECK_EQ(VM_FREELIST_DEFAULT, uvm_physseg_get_free_list(upm));  in ATF_TC_BODY()
1599 	upm = uvm_page_physload(VALID_START_PFN_2, VALID_END_PFN_2,  in ATF_TC_BODY()
1602 	ATF_CHECK_EQ(VM_FREELIST_FIRST16, uvm_physseg_get_free_list(upm));  in ATF_TC_BODY()
1607 	upm = uvm_page_physload(VALID_START_PFN_3, VALID_END_PFN_3,  in ATF_TC_BODY()
1610 	ATF_CHECK_EQ(VM_FREELIST_FIRST1G, uvm_physseg_get_free_list(upm));  in ATF_TC_BODY()
1623 	uvm_physseg_t upm;  in ATF_TC_BODY()  local
1626 	upm = uvm_page_physload(VALID_START_PFN_1, VALID_END_PFN_1,  in ATF_TC_BODY()
1630 	ATF_CHECK_EQ(0, uvm_physseg_get_start_hint(upm));  in ATF_TC_BODY()
1646 	uvm_physseg_t upm;  in ATF_TC_BODY()  local
1649 	upm = uvm_page_physload(VALID_START_PFN_1, VALID_END_PFN_1,  in ATF_TC_BODY()
1652 	uvm_physseg_init_seg(upm, pgs);  in ATF_TC_BODY()
1654 	ATF_CHECK_EQ(true, uvm_physseg_set_start_hint(upm, atop(128)));  in ATF_TC_BODY()
1657 	ATF_CHECK_EQ(atop(128), uvm_physseg_get_start_hint(upm));  in ATF_TC_BODY()
1669 	uvm_physseg_t upm;  in ATF_TC_BODY()  local
1672 	upm = uvm_page_physload(VALID_START_PFN_1, VALID_END_PFN_1,  in ATF_TC_BODY()
1680 	ATF_CHECK_EQ(false, uvm_physseg_set_start_hint(upm, atop(128)));  in ATF_TC_BODY()
1688 	ATF_CHECK_EQ(0, uvm_physseg_get_start_hint(upm));  in ATF_TC_BODY()
1705 	uvm_physseg_t upm;  in ATF_TC_BODY()  local
1708 	upm = uvm_page_physload(VALID_START_PFN_1, VALID_END_PFN_1,  in ATF_TC_BODY()
1716 	uvm_physseg_init_seg(upm, pgs);  in ATF_TC_BODY()
1723 	extracted_pg = uvm_physseg_get_pg(upm, 5);  in ATF_TC_BODY()
1729 	extracted_pg = uvm_physseg_get_pg(upm, 113);  in ATF_TC_BODY()
1751 	uvm_physseg_t upm;  in ATF_TC_BODY()  local
1754 	upm = uvm_page_physload(VALID_START_PFN_1, VALID_END_PFN_1,  in ATF_TC_BODY()
1762 	uvm_physseg_init_seg(upm, pgs);  in ATF_TC_BODY()
1771 	extracted_pmseg = uvm_physseg_get_pmseg(upm);  in ATF_TC_BODY()
1786 	extracted_pmseg = uvm_physseg_get_pmseg(upm);  in ATF_TC_BODY()
1929 	uvm_physseg_t upm;  in ATF_TC_BODY()  local
1932 	upm = uvm_page_physload(VALID_START_PFN_2, VALID_END_PFN_2,  in ATF_TC_BODY()
1939 	uvm_physseg_init_seg(upm, pgs);  in ATF_TC_BODY()
1941 	ATF_CHECK_EQ(true, uvm_page_physunload(upm, VM_FREELIST_DEFAULT, &p));  in ATF_TC_BODY()
1951 	    uvm_physseg_get_avail_start(upm));  in ATF_TC_BODY()
1953 	ATF_CHECK_EQ(VALID_START_PFN_2 + 1, uvm_physseg_get_start(upm));  in ATF_TC_BODY()
1956 	ATF_CHECK_EQ(VALID_END_PFN_2, uvm_physseg_get_end(upm));  in ATF_TC_BODY()
1957 	ATF_CHECK_EQ(VALID_AVAIL_END_PFN_2, uvm_physseg_get_avail_end(upm));  in ATF_TC_BODY()
1973 	uvm_physseg_t upm;  in ATF_TC_BODY()  local
1977 	upm = uvm_page_physload(VALID_START_PFN_2, VALID_END_PFN_2,  in ATF_TC_BODY()
1988 		uvm_physseg_get_avail_start(upm) != uvm_physseg_get_start(upm));  in ATF_TC_BODY()
1990 	ATF_CHECK_EQ(true, uvm_page_physunload(upm, VM_FREELIST_DEFAULT, &p));  in ATF_TC_BODY()
2008 	ATF_CHECK_EQ(VALID_AVAIL_END_PFN_2 - 1, uvm_physseg_get_avail_end(upm));  in ATF_TC_BODY()
2010 	ATF_CHECK_EQ(VALID_END_PFN_2 - 1, uvm_physseg_get_end(upm));  in ATF_TC_BODY()
2014 	    uvm_physseg_get_avail_start(upm));  in ATF_TC_BODY()
2015 	ATF_CHECK_EQ(VALID_START_PFN_2, uvm_physseg_get_start(upm));  in ATF_TC_BODY()
2034 	uvm_physseg_t upm;  in ATF_TC_BODY()  local
2042 	upm = uvm_page_physload(VALID_START_PFN_2, VALID_END_PFN_2,  in ATF_TC_BODY()
2053 		uvm_physseg_get_avail_start(upm) != uvm_physseg_get_start(upm));  in ATF_TC_BODY()
2055 	uvm_physseg_init_seg(upm, pgs);  in ATF_TC_BODY()
2057 	ATF_CHECK_EQ(false, uvm_page_physunload(upm, VM_FREELIST_DEFAULT, &p));  in ATF_TC_BODY()
2064 	    uvm_physseg_get_avail_start(upm));  in ATF_TC_BODY()
2066 	    uvm_physseg_get_avail_end(upm));  in ATF_TC_BODY()
2067 	ATF_CHECK_EQ(VALID_START_PFN_2, uvm_physseg_get_start(upm));  in ATF_TC_BODY()
2068 	ATF_CHECK_EQ(VALID_END_PFN_2, uvm_physseg_get_end(upm));  in ATF_TC_BODY()
2085 	uvm_physseg_t upm;  in ATF_TC_BODY()  local
2093 	upm = uvm_page_physload(VALID_END_PFN_1 - 1, VALID_END_PFN_1,  in ATF_TC_BODY()
2114 	ATF_CHECK_EQ(true, uvm_page_physunload(upm, VM_FREELIST_DEFAULT, &p));  in ATF_TC_BODY()
2121 	upm = uvm_physseg_get_first();  in ATF_TC_BODY()
2123 	ATF_CHECK_EQ(VALID_START_PFN_2, uvm_physseg_get_start(upm));  in ATF_TC_BODY()
2124 	ATF_CHECK_EQ(VALID_END_PFN_2, uvm_physseg_get_end(upm));  in ATF_TC_BODY()
2125 	ATF_CHECK_EQ(VALID_AVAIL_START_PFN_2, uvm_physseg_get_avail_start(upm));  in ATF_TC_BODY()
2126 	ATF_CHECK_EQ(VALID_AVAIL_END_PFN_2, uvm_physseg_get_avail_end(upm));  in ATF_TC_BODY()
2144 	uvm_physseg_t upm;  in ATF_TC_BODY()  local
2152 	upm = uvm_page_physload(VALID_START_PFN_1, VALID_START_PFN_1 + 2,  in ATF_TC_BODY()
2173 	ATF_CHECK_EQ(true, uvm_page_physunload(upm, VM_FREELIST_DEFAULT, &p));  in ATF_TC_BODY()
2177 	ATF_CHECK_EQ(true, uvm_page_physunload(upm, VM_FREELIST_DEFAULT, &p));  in ATF_TC_BODY()
2184 	upm = uvm_physseg_get_first();  in ATF_TC_BODY()
2186 	ATF_CHECK_EQ(VALID_START_PFN_2, uvm_physseg_get_start(upm));  in ATF_TC_BODY()
2187 	ATF_CHECK_EQ(VALID_END_PFN_2, uvm_physseg_get_end(upm));  in ATF_TC_BODY()
2188 	ATF_CHECK_EQ(VALID_AVAIL_START_PFN_2, uvm_physseg_get_avail_start(upm));  in ATF_TC_BODY()
2189 	ATF_CHECK_EQ(VALID_AVAIL_END_PFN_2, uvm_physseg_get_avail_end(upm));  in ATF_TC_BODY()
2206 	uvm_physseg_t upm;  in ATF_TC_BODY()  local
2209 	upm = uvm_page_physload(VALID_START_PFN_2, VALID_END_PFN_2,  in ATF_TC_BODY()
2216 	uvm_physseg_init_seg(upm, pgs);  in ATF_TC_BODY()
2218 	ATF_CHECK_EQ(false, uvm_page_physunload(upm, VM_FREELIST_FIRST4G, &p));  in ATF_TC_BODY()
2234 	uvm_physseg_t upm;  in ATF_TC_BODY()  local
2237 	upm = uvm_page_physload(VALID_START_PFN_1, VALID_END_PFN_1,  in ATF_TC_BODY()
2263 	    uvm_physseg_get_avail_start(upm));  in ATF_TC_BODY()
2268 		    uvm_page_physunload_force(upm, VM_FREELIST_DEFAULT, &p));  in ATF_TC_BODY()
2272 			ATF_CHECK_EQ(i + 1, uvm_physseg_get_avail_start(upm));  in ATF_TC_BODY()
2279 	upm = uvm_physseg_find(VALID_AVAIL_END_PFN_1 - 1, NULL);  in ATF_TC_BODY()
2282 	ATF_CHECK_EQ(NULL, upm);  in ATF_TC_BODY()
2297 	uvm_physseg_t upm;  in ATF_TC_BODY()  local
2300 	upm = uvm_page_physload(VALID_START_PFN_2, VALID_START_PFN_2+ 1,  in ATF_TC_BODY()
2308 	    uvm_page_physunload_force(upm, VM_FREELIST_DEFAULT, &p));  in ATF_TC_BODY()