did_enable 11883 drivers/infiniband/hw/hfi1/chip.c int did_enable = 0; did_enable 11930 drivers/infiniband/hw/hfi1/chip.c did_enable = 1; did_enable 12026 drivers/infiniband/hw/hfi1/chip.c if (did_enable && did_enable 12042 drivers/infiniband/hw/hfi1/chip.c if (did_enable) {