BCM2835_FIRMWARE_VOLTAGE_ID_SDRAM_C
BCM2835_FIRMWARE_VOLTAGE_ID_SDRAM_C);
BCM2835_FIRMWARE_VOLTAGE_ID_SDRAM_C);
BCM2835_FIRMWARE_VOLTAGE_ID_SDRAM_C);
BCM2835_FIRMWARE_VOLTAGE_ID_SDRAM_C);
BCM2835_FIRMWARE_VOLTAGE_ID_SDRAM_C,
BCM2835_FIRMWARE_VOLTAGE_ID_SDRAM_C, val);