free_hash_bucket   93 drivers/infiniband/core/iwpm_util.c static void free_hash_bucket(void);
free_hash_bucket  114 drivers/infiniband/core/iwpm_util.c 		free_hash_bucket();