hfi1_clean_devdata 1255 drivers/infiniband/hw/hfi1/init.c hfi1_clean_devdata(dd); hfi1_clean_devdata 1356 drivers/infiniband/hw/hfi1/init.c hfi1_clean_devdata(dd);