#define sched_exec() {}
--- a/init/Kconfig
+++ b/init/Kconfig
-@@ -441,9 +441,22 @@ config LOG_BUF_SHIFT
+@@ -451,9 +451,22 @@ config LOG_BUF_SHIFT
config HAVE_UNSTABLE_SCHED_CLOCK
bool
default n
help
This feature lets CPU scheduler recognize task groups and control CPU
-@@ -494,6 +507,7 @@ endchoice
+@@ -504,6 +517,7 @@ endchoice
menuconfig CGROUPS
boolean "Control Group support"
+ * combine the page table reload and the switch backend into
+ * one hypercall.
+ */
-+ arch_enter_lazy_cpu_mode();
++ arch_start_context_switch(prev);
+
+ if (unlikely(!mm)) {
+ next->active_mm = oldmm;