_dc_shutdown 6550 drivers/infiniband/hw/hfi1/chip.c _dc_shutdown(dd); _dc_shutdown 8707 drivers/infiniband/hw/hfi1/chip.c _dc_shutdown(dd);