uvm_physseg_get_entries
ATF_REQUIRE_EQ(1, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(1, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(2, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(1, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(1, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(2, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(1, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(1, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(2, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(1, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(1, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(2, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(3, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(1, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(2, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(3, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(1, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(2, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(3, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(1, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(2, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(3, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(1, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(1, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(1, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(1, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(2, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(1, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(1, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(1, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(1, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(1, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(2, uvm_physseg_get_entries());
ATF_CHECK_EQ(1, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(1, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(2, uvm_physseg_get_entries());
ATF_CHECK_EQ(1, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(1, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(1, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(2, uvm_physseg_get_entries());
ATF_CHECK_EQ(1, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(1, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(++nentries, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(++nentries, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(++nentries, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(1, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(2, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(1, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(1, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(1, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(0, uvm_physseg_get_entries());
ATF_CHECK_EQ(1, uvm_physseg_get_entries());
ATF_CHECK_EQ(2, uvm_physseg_get_entries());
ATF_CHECK_EQ(1, uvm_physseg_get_entries());
ATF_CHECK_EQ(2, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(1, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(2, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(1, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(2, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(1, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(2, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(VM_PHYSSEG_MAX, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(VM_PHYSSEG_MAX, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(VM_PHYSSEG_MAX, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(VM_PHYSSEG_MAX, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(VM_PHYSSEG_MAX, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(VM_PHYSSEG_MAX, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(VM_PHYSSEG_MAX, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(1, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(2, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(1, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(2, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(1, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(2, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(1, uvm_physseg_get_entries());
ATF_REQUIRE_EQ(2, uvm_physseg_get_entries());