free_reminfo_bucket   94 drivers/infiniband/core/iwpm_util.c static void free_reminfo_bucket(void);
free_reminfo_bucket  115 drivers/infiniband/core/iwpm_util.c 		free_reminfo_bucket();