gige_write32      107 drivers/ssb/driver_gige.c 	gige_write32(dev, SSB_GIGE_PCICFG + offset, value);
gige_write32      218 drivers/ssb/driver_gige.c 	gige_write32(dev, SSB_GIGE_SHIM_FLUSHSTAT, 0x00000068);