get_platform_config 14993 drivers/infiniband/hw/hfi1/chip.c 	get_platform_config(dd);
get_platform_config  406 drivers/infiniband/hw/hfi1/platform.h void get_platform_config(struct hfi1_devdata *dd);