Searched refs:ml_interrupt_masked_debug_timestamp (Results 1 – 1 of 1) sorted by relevance
1015 ml_interrupt_masked_debug_timestamp(thread_t thread) in ml_interrupt_masked_debug_timestamp() function1065 ml_interrupt_masked_debug_timestamp(thread); in ml_set_interrupts_enabled_with_debug()