sdt_early_init();
#endif
+#ifndef BCM2837
+ kernel_bootstrap_log("trust_cache_init");
+ trust_cache_init();
+#endif
kernel_startup_initialize_upto(STARTUP_SUB_LOCKDOWN);
((thread->state & TH_IDLE) || (thread->bound_processor != PROCESSOR_NULL)) ? TH_BUCKET_SCHED_MAX : thread->th_sched_bucket);
processor->current_is_bound = thread->bound_processor != PROCESSOR_NULL;
processor->current_is_NO_SMT = false;
+ processor->current_is_eagerpreempt = false;
#if CONFIG_THREAD_GROUPS
processor->current_thread_group = thread_group_get(thread);
#endif