--- unstable.orig/xen/drivers/cpufreq/cpufreq.c	2017-09-12 12:39:58.310556379 +0200
+++ unstable/xen/drivers/cpufreq/cpufreq.c	2018-01-09 17:21:09.659208437 +0100
@@ -352,6 +352,8 @@ int cpufreq_del_cpu(unsigned int cpu)
 
     /* for HW_ALL, stop gov for each core of the _PSD domain */
     /* for SW_ALL & SW_ANY, stop gov for the 1st core of the _PSD domain */
+printk("cpufreq: del CPU%u (%u,%lx,%lu,%lx)\n", cpu,//temp
+       hw_all, cpufreq_dom->map->bits[0], perf->domain_info.num_processors, policy->cpus->bits[0]);//temp
     if (hw_all || (cpumask_weight(cpufreq_dom->map) ==
                    perf->domain_info.num_processors))
         __cpufreq_governor(policy, CPUFREQ_GOV_STOP);
--- unstable.orig/xen/drivers/cpufreq/cpufreq_ondemand.c	2017-09-12 12:39:58.310556379 +0200
+++ unstable/xen/drivers/cpufreq/cpufreq_ondemand.c	2018-01-09 17:16:07.633604995 +0100
@@ -218,6 +218,9 @@ int cpufreq_governor_dbs(struct cpufreq_
 
     switch (event) {
     case CPUFREQ_GOV_START:
+if(system_state > SYS_STATE_active) {//temp
+ printk("dbs: start CPU%u [%pS]\n", cpu, __builtin_return_address(0));
+}
         if ((!cpu_online(cpu)) || (!policy->cur))
             return -EINVAL;