free_platform_config 1234 drivers/infiniband/hw/hfi1/init.c 	free_platform_config(dd);
free_platform_config  407 drivers/infiniband/hw/hfi1/platform.h void free_platform_config(struct hfi1_devdata *dd);