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