Symbol: usnic_uiom_put_interval_set
drivers/infiniband/hw/usnic/usnic_uiom.c
399
usnic_uiom_put_interval_set(&sorted_diff_intervals);
drivers/infiniband/hw/usnic/usnic_uiom.c
407
usnic_uiom_put_interval_set(&sorted_diff_intervals);
drivers/infiniband/hw/usnic/usnic_uiom_interval_tree.h
91
void usnic_uiom_put_interval_set(struct list_head *intervals);