BCM2835_FIRMWARE_VOLTAGE_ID_CORE
BCM2835_FIRMWARE_VOLTAGE_ID_CORE);
BCM2835_FIRMWARE_VOLTAGE_ID_CORE);
BCM2835_FIRMWARE_VOLTAGE_ID_CORE);
BCM2835_FIRMWARE_VOLTAGE_ID_CORE, 0);
val = bcm2835_cpufreq_get_voltage(sc, BCM2835_FIRMWARE_VOLTAGE_ID_CORE);
err = bcm2835_cpufreq_set_voltage(sc, BCM2835_FIRMWARE_VOLTAGE_ID_CORE,