uvm_physseg_valid_p
for (bank = uvm_physseg_get_first(); uvm_physseg_valid_p(bank);
if (!uvm_physseg_valid_p(bank)) {
uvm_physseg_valid_p(bank);
uvm_physseg_valid_p(bank);
uvm_physseg_valid_p(upm);
KASSERT(uvm_physseg_valid_p(upm));
if (!uvm_physseg_valid_p(uvm_physseg_get_first()))
uvm_physseg_valid_p(ups);
uvm_physseg_valid_p(upm);
uvm_physseg_valid_p(upm);
uvm_physseg_valid_p(upm);
uvm_physseg_valid_p(bank);
uvm_physseg_valid_p(bank);
uvm_physseg_valid_p(bank);
for (; uvm_physseg_valid_p(bank); bank = uvm_physseg_get_prev(bank)) {
for (bank = uvm_physseg_get_first(); uvm_physseg_valid_p(bank);
uvm_physseg_valid_p(bank);
uvm_physseg_valid_p(bank);
uvm_physseg_valid_p(bank);
uvm_physseg_valid_p(bank);
uvm_physseg_valid_p(bank);
uvm_physseg_valid_p(bank);
uvm_physseg_valid_p(bank);
uvm_physseg_valid_p(bank);
KDASSERT(uvm_physseg_valid_p(bank));
uvm_physseg_valid_p(x);
if (uvm_physseg_valid_p(x) == false)
uvm_physseg_valid_p(bank);
if (uvm_physseg_valid_p(maybe_bank) == false
if (uvm_physseg_valid_p(maybe_bank)) {
uvm_physseg_valid_p(i);
uvm_physseg_valid_p(bank) ;
uvm_physseg_valid_p(bank);
for (lcv = uvm_physseg_get_last(); uvm_physseg_valid_p(lcv); lcv = uvm_physseg_get_prev(lcv))
for (lcv = uvm_physseg_get_first(); uvm_physseg_valid_p(lcv); lcv = uvm_physseg_get_next(lcv))
for (lcv = uvm_physseg_get_last(); uvm_physseg_valid_p(lcv); lcv = uvm_physseg_get_prev(lcv))
for (lcv = uvm_physseg_get_first(); uvm_physseg_valid_p(lcv); lcv = uvm_physseg_get_next(lcv))
KASSERT(uvm_physseg_valid_p(upm));
for (psi = uvm_physseg_get_last(); uvm_physseg_valid_p(psi); psi = uvm_physseg_get_prev(psi))
for (psi = uvm_physseg_get_first(); uvm_physseg_valid_p(psi); psi = uvm_physseg_get_next(psi))
for (psi = uvm_physseg_get_last(); uvm_physseg_valid_p(psi); psi = uvm_physseg_get_prev(psi))
for (psi = uvm_physseg_get_first(); uvm_physseg_valid_p(psi); psi = uvm_physseg_get_next(psi))
if (uvm_physseg_valid_p(upm) == false)
if (uvm_physseg_valid_p(upm) == false)
if (uvm_physseg_valid_p(upm) == false)
KASSERT(uvm_physseg_valid_p(upm));
KASSERT(uvm_physseg_valid_p(upm));
if (uvm_physseg_valid_p(upm) == false)
KASSERT(uvm_physseg_valid_p(upm));
KASSERT(uvm_physseg_valid_p(upm));
KASSERT(uvm_physseg_valid_p(upm));
KASSERT(uvm_physseg_valid_p(upm));
if (uvm_physseg_valid_p(upm) == false)
if (!uvm_physseg_valid_p(upm)) {
if (uvm_physseg_valid_p(upm) == false)
if (uvm_physseg_valid_p(upm) == false)
if (uvm_physseg_valid_p(lcv) == false)
if (uvm_physseg_valid_p(lcv) == false)
if (uvm_physseg_valid_p(upm)) /* XXX; do we allow "update" plugs ? */
bool uvm_physseg_valid_p(uvm_physseg_t);
ATF_CHECK_EQ(true, uvm_physseg_valid_p(upm));
ATF_CHECK_EQ(false, uvm_physseg_valid_p(UVM_PHYSSEG_TYPE_INVALID));
ATF_CHECK_EQ(false, uvm_physseg_valid_p(upm));
uvm_physseg_valid_p(bank);
ATF_REQUIRE(uvm_physseg_valid_p(upm));
ATF_REQUIRE_EQ(false, uvm_physseg_valid_p(upm));
ATF_REQUIRE(uvm_physseg_valid_p(upm));
ATF_REQUIRE(uvm_physseg_valid_p(upm));
ATF_REQUIRE(uvm_physseg_valid_p(upm));
ATF_REQUIRE(uvm_physseg_valid_p(upm));
uvm_physseg_valid_p(bank);