__scmi_powercap_cap_get
ret = __scmi_powercap_cap_get(ph,
return __scmi_powercap_cap_get(ph, dom, power_cap);