Symbol: rpi_firmware_get_voltage