Searched refs:__ml_interrupts_disabled_cpu_kind (Results 1 – 1 of 1) sorted by relevance
818 __ml_interrupts_disabled_cpu_kind(thread_t thread) in __ml_interrupts_disabled_cpu_kind() function876 char core_kind = __ml_interrupts_disabled_cpu_kind(thread); in __ml_trigger_interrupts_disabled_handle()