_EnableExecutionDisable
call_all_cpus_sync(&_EnableExecutionDisable, NULL);
static void _EnableExecutionDisable(void* dummy, int cpu);