done_no_mutex    1056 drivers/infiniband/hw/hfi1/pcie.c 		goto done_no_mutex;
done_no_mutex    1435 drivers/infiniband/hw/hfi1/pcie.c done_no_mutex: