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);