Symbol: __scmi_voltage_get_u32