SSB_PCICORE_SBTOPCI1   88 drivers/ssb/driver_pcicore.c 		pcicore_write32(pc, SSB_PCICORE_SBTOPCI1, tmp);
SSB_PCICORE_SBTOPCI1   96 drivers/ssb/driver_pcicore.c 		pcicore_write32(pc, SSB_PCICORE_SBTOPCI1,
SSB_PCICORE_SBTOPCI1  355 drivers/ssb/driver_pcicore.c 	pcicore_write32(pc, SSB_PCICORE_SBTOPCI1,