Re: [PATCH v7 09/13] xen/cpufreq: implement amd-cppc-epp driver for CPPC in active mode

[Jan Beulich]

On 22.08.2025 12:52, Penny Zheng wrote:
> @@ -270,6 +288,10 @@ static void amd_cppc_write_request(unsigned int cpu, 
> uint8_t min_perf,
>  
>      data->req.min_perf = min_perf;
>      data->req.max_perf = max_perf;
> +#ifndef NDEBUG
> +    if ( opt_active_mode )
> +        ASSERT(!des_perf);
> +#endif

Simply

    ASSERT(!opt_active_mode || !des_perf);

(without any #ifndef)? Then once again:
Acked-by: Jan Beulich <jbeul...@suse.com>

Jan