Symbol: vexpress_regulator_get_voltage