Searched refs:ml_interrupt_masked_debug_timestamp (Results 1 – 1 of 1) sorted by relevance
970 ml_interrupt_masked_debug_timestamp(thread_t thread) in ml_interrupt_masked_debug_timestamp() function1032 ml_interrupt_masked_debug_timestamp(thread); in ml_set_interrupts_enabled()