SDVDD             234 drivers/mmc/host/bcm2835.c 	dev_dbg(dev, "SDVDD  0x%08x\n", readl(host->ioaddr + SDVDD));
SDVDD             246 drivers/mmc/host/bcm2835.c 	writel(SDVDD_POWER_OFF, host->ioaddr + SDVDD);
SDVDD             264 drivers/mmc/host/bcm2835.c 	writel(SDVDD_POWER_ON, host->ioaddr + SDVDD);
SDVDD            1446 drivers/mmc/host/bcm2835.c 	writel(SDVDD_POWER_OFF, host->ioaddr + SDVDD);