tpsflag            75 drivers/ssb/driver_mipscore.c 	u32 tpsflag = ssb_read32(dev, SSB_TPSFLAG);
tpsflag            76 drivers/ssb/driver_mipscore.c 	if (tpsflag)