#include <linux/spinlock.h>
#include <linux/interrupt.h>
#include <linux/cpufreq.h>
#include <linux/spinlock.h>
#include <linux/interrupt.h>
#include <linux/cpufreq.h>
dprintk("cpufreq_set for cpu %u, freq %u kHz\n", policy->cpu, freq);
dprintk("cpufreq_set for cpu %u, freq %u kHz\n", policy->cpu, freq);