Symbol: free_platform_config
drivers/infiniband/hw/hfi1/init.c
1175
free_platform_config(dd);
drivers/infiniband/hw/hfi1/platform.h
366
void free_platform_config(struct hfi1_devdata *dd);