diff --git a/kernel/sched/core_ctl.c b/kernel/sched/core_ctl.c
index ecf6c568f0b5..9b21a09ec4ba 100644
--- a/kernel/sched/core_ctl.c
+++ b/kernel/sched/core_ctl.c
@@ -687,6 +687,7 @@ int core_ctl_set_boost(bool boost)
 
 	return ret;
 }
+EXPORT_SYMBOL(core_ctl_set_boost);
 
 void core_ctl_check(u64 wallclock)
 {