BCM2835_FIRMWARE_VOLTAGE_ID_SDRAM_P
BCM2835_FIRMWARE_VOLTAGE_ID_SDRAM_P);
BCM2835_FIRMWARE_VOLTAGE_ID_SDRAM_P);
BCM2835_FIRMWARE_VOLTAGE_ID_SDRAM_P);
BCM2835_FIRMWARE_VOLTAGE_ID_SDRAM_P);
BCM2835_FIRMWARE_VOLTAGE_ID_SDRAM_P, sc->voltage_sdram_p);
BCM2835_FIRMWARE_VOLTAGE_ID_SDRAM_P, val);