SPICO_FABRIC     1141 drivers/infiniband/hw/hfi1/firmware.c 		    flags & SPICO_FABRIC ? " fabric" : "");
SPICO_FABRIC     1150 drivers/infiniband/hw/hfi1/firmware.c 	if (flags & SPICO_FABRIC)
SPICO_FABRIC     1198 drivers/infiniband/hw/hfi1/firmware.c 		turn_off_spicos(dd, SPICO_FABRIC);
SPICO_FABRIC     1679 drivers/infiniband/hw/hfi1/firmware.c 		turn_off_spicos(dd, SPICO_FABRIC);