vm_domainset_iter_policy
} while (va == NULL && vm_domainset_iter_policy(&di, &domain) == 0);
} else if (vm_domainset_iter_policy(&di, &domain) != 0)
if (vm_domainset_iter_policy(&di, &domain) != 0)
int vm_domainset_iter_policy(struct vm_domainset_iter *, int *);
} while (vm_domainset_iter_policy(&di, &domain) == 0);
} while (vm_domainset_iter_policy(&di, &domain) == 0);
} while (vm_domainset_iter_policy(&di, &domain) == 0);
} while (vm_domainset_iter_policy(&di, &domain) == 0);