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