i86pc/io/immu_dmar.c

112 scope_list_free(list_t *scope_list)
116 	if (list_is_empty(scope_list)) {
117 		list_destroy(scope_list);
121 	while ((scope = list_remove_head(scope_list)) != NULL) {
125 	ASSERT(list_is_empty(scope_list));
126 	list_destroy(scope_list);
535 print_scope_list(list_t *scope_list)
539 	if (list_is_empty(scope_list))
544 	for (scope = list_head(scope_list); scope;
545 	    scope = list_next(scope_list, scope)) {