IWL_MLD_MIN_CTDP_BUDGET_MW
budget = ((mld->power_budget_mw - IWL_MLD_MIN_CTDP_BUDGET_MW) *
IWL_MLD_MIN_CTDP_BUDGET_MW;
bios_power_budget >= IWL_MLD_MIN_CTDP_BUDGET_MW &&