set_global_shared 11466 drivers/infiniband/hw/hfi1/chip.c 		set_global_shared(dd, 0);
set_global_shared 11526 drivers/infiniband/hw/hfi1/chip.c 		set_global_shared(dd,