SDHBCT            237 drivers/mmc/host/bcm2835.c 	dev_dbg(dev, "SDHBCT 0x%08x\n", readl(host->ioaddr + SDHBCT));
SDHBCT            253 drivers/mmc/host/bcm2835.c 	writel(0, host->ioaddr + SDHBCT);
SDHBCT            572 drivers/mmc/host/bcm2835.c 	writel(data->blksz, host->ioaddr + SDHBCT);