Searched refs:isr_counter (Results 1 – 1 of 1) sorted by relevance
39 static int32_t isr_counter = 0; variable114 RL_ASSERT(0 <= isr_counter); in platform_init_interrupt()115 if (isr_counter < 2) in platform_init_interrupt()119 isr_counter++; in platform_init_interrupt()136 RL_ASSERT(0 < isr_counter); in platform_deinit_interrupt()137 isr_counter--; in platform_deinit_interrupt()138 if (isr_counter < 2) in platform_deinit_interrupt()