uvm_physseg_get_free_list
(arm_poolpage_vmfreelist == uvm_physseg_get_free_list(upm));
freelist = uvm_physseg_get_free_list(bank);
if (uvm_physseg_get_free_list(bank) !=
return uvm_physseg_get_free_list(upm);
if (uvm_physseg_get_free_list(psi) != fl)
if (uvm_physseg_get_free_list(psi) != fl)
int uvm_physseg_get_free_list(uvm_physseg_t);
ATF_TC(uvm_physseg_get_free_list);
ATF_TC_HEAD(uvm_physseg_get_free_list, tc)
ATF_TC_BODY(uvm_physseg_get_free_list, tc)
ATF_CHECK_EQ(VM_FREELIST_DEFAULT, uvm_physseg_get_free_list(upm));
ATF_CHECK_EQ(VM_FREELIST_FIRST16, uvm_physseg_get_free_list(upm));
ATF_CHECK_EQ(VM_FREELIST_FIRST1G, uvm_physseg_get_free_list(upm));
ATF_TP_ADD_TC(tp, uvm_physseg_get_free_list);