Searched refs:irq_num (Results 1 – 1 of 1) sorted by relevance
273 uint32_t irq_num = 15 + get_core_num(); in xPortStartScheduler() local274 irq_set_priority( irq_num, portMIN_INTERRUPT_PRIORITY ); in xPortStartScheduler()275 irq_set_exclusive_handler( irq_num, prvFIFOInterruptHandler ); in xPortStartScheduler()276 irq_set_enabled( irq_num, 1 ); in xPortStartScheduler()
