uvm_physseg_unplug
uvm_physseg_unplug(atop(pa), npage);
uvm_physseg_unplug(end, atop(sz));
uvm_physseg_unplug(atop(pa), npgs);
uvm_physseg_unplug(spn, atop(amount - pv->pv_size));
uvm_physseg_unplug(atop(pa), npgs);
if (uvm_physseg_unplug(uvm_physseg_get_start(upm),
uvm_physseg_unplug(end, atop(sz));
uvm_physseg_unplug(start, npgs);
uvm_physseg_unplug(atop(pa), npage);
uvm_physseg_unplug(uvm_physseg_get_start(bank), npgs);
uvm_physseg_unplug(uvm_physseg_get_end(x) - atop(sz), atop(sz));
uvm_physseg_unplug(atop(pa), npgs);
return uvm_physseg_unplug(seg->avail_start, 1);
return uvm_physseg_unplug(seg->avail_end - 1, 1);
return uvm_physseg_unplug(seg->avail_start, 1);
bool uvm_physseg_unplug(paddr_t, size_t);
ATF_TP_ADD_TC(tp, uvm_physseg_unplug);
ATF_TC(uvm_physseg_unplug);
ATF_TC_HEAD(uvm_physseg_unplug, tc)
ATF_TC_BODY(uvm_physseg_unplug, tc)
ATF_REQUIRE_EQ(true, uvm_physseg_unplug(atop(TWOFIFTYSIX_KILO), atop(FIVEONETWO_KILO)));
ATF_REQUIRE_EQ(true, uvm_physseg_unplug(atop(TWOFIFTYSIX_KILO + FIVEONETWO_KILO), atop(TWOFIFTYSIX_KILO)));
ATF_REQUIRE_EQ(true, uvm_physseg_unplug(atop(ONETWENTYEIGHT_KILO), atop(ONETWENTYEIGHT_KILO)));
ATF_REQUIRE_EQ(true, uvm_physseg_unplug(0, atop(SIXTYFOUR_KILO)));
ATF_REQUIRE_EQ(true, uvm_physseg_unplug(atop(SIXTYFOUR_KILO), atop(SIXTYFOUR_KILO)));
uvm_physseg_unplug(pf, pf_chunk_size);
uvm_physseg_unplug(pf, pf_chunk_size);
uvm_physseg_unplug(pf, pf_chunk_size);
uvm_physseg_unplug(pf, pf_chunk_size);