TWOFIFTYSIX_KILO
uvm_physseg_find(atop(TWOFIFTYSIX_KILO), &pa);
ATF_REQUIRE_EQ(pa, atop(TWOFIFTYSIX_KILO));
ATF_REQUIRE_EQ(true, uvm_physseg_unplug(atop(TWOFIFTYSIX_KILO), atop(FIVEONETWO_KILO)));
uvm_physseg_find(atop(TWOFIFTYSIX_KILO), &pa);
upm = uvm_physseg_find(atop(TWOFIFTYSIX_KILO + FIVEONETWO_KILO), NULL);
ATF_REQUIRE_EQ(true, uvm_physseg_unplug(atop(TWOFIFTYSIX_KILO + FIVEONETWO_KILO), atop(TWOFIFTYSIX_KILO)));