diff --git a/xen/drivers/cpufreq/cpufreq_misc_governors.c b/xen/drivers/cpufreq/cpufreq_misc_governors.c
index 8b391d39f8..fb21767216 100644
--- a/xen/drivers/cpufreq/cpufreq_misc_governors.c
+++ b/xen/drivers/cpufreq/cpufreq_misc_governors.c
@@ -61,7 +61,7 @@ static int __init cpufreq_gov_userspace_init(void)
 }
 __initcall(cpufreq_gov_userspace_init);
 
-static void cpufreq_gov_userspace_exit(void)
+static void __exit cpufreq_gov_userspace_exit(void)
 {
     cpufreq_unregister_governor(&cpufreq_gov_userspace);
 }
@@ -106,7 +106,7 @@ static int __init cpufreq_gov_performance_init(void)
 }
 __initcall(cpufreq_gov_performance_init);
 
-static void cpufreq_gov_performance_exit(void)
+static void __exit cpufreq_gov_performance_exit(void)
 {
     cpufreq_unregister_governor(&cpufreq_gov_performance);
 }
@@ -151,7 +151,7 @@ static int __init cpufreq_gov_powersave_init(void)
 }
 __initcall(cpufreq_gov_powersave_init);
 
-static void cpufreq_gov_powersave_exit(void)
+static void __exit cpufreq_gov_powersave_exit(void)
 {
     cpufreq_unregister_governor(&cpufreq_gov_powersave);
 }
diff --git a/xen/drivers/cpufreq/cpufreq_ondemand.c b/xen/drivers/cpufreq/cpufreq_ondemand.c
index 609540e477..073d7eb37d 100644
--- a/xen/drivers/cpufreq/cpufreq_ondemand.c
+++ b/xen/drivers/cpufreq/cpufreq_ondemand.c
@@ -333,7 +333,7 @@ static int __init cpufreq_gov_dbs_init(void)
 }
 __initcall(cpufreq_gov_dbs_init);
 
-static void cpufreq_gov_dbs_exit(void)
+static void __exit cpufreq_gov_dbs_exit(void)
 {
     cpufreq_unregister_governor(&cpufreq_gov_dbs);
 }