usnic_uiom_put_interval_set  405 drivers/infiniband/hw/usnic/usnic_uiom.c 	usnic_uiom_put_interval_set(&sorted_diff_intervals);
usnic_uiom_put_interval_set  413 drivers/infiniband/hw/usnic/usnic_uiom.c 	usnic_uiom_put_interval_set(&sorted_diff_intervals);
usnic_uiom_put_interval_set   87 drivers/infiniband/hw/usnic/usnic_uiom_interval_tree.h void usnic_uiom_put_interval_set(struct list_head *intervals);