qubes-core-admin-linux/system-config/cpufreq-xen.modules

#!/bin/sh

if modinfo cpufreq-xen > /dev/null 2>&1; then
    modprobe acpi-cpufreq || exit 1
    modprobe cpufreq-xen

    for f in /sys/devices/system/cpu/cpu[0-9]*/cpufreq/scaling_governor; do
        echo xen > $f
    done
fi
if modinfo xen-acpi-processor &>/dev/null; then
    modprobe xen-acpi-processor
fi