update_head 3716 drivers/infiniband/hw/hfi1/tid_rdma.c goto update_head; update_head 3790 drivers/infiniband/hw/hfi1/tid_rdma.c update_head: