Home
last modified time | relevance | path

Searched refs:irq_num (Results 1 – 1 of 1) sorted by relevance

/Kernel-v11.1.0/portable/ThirdParty/GCC/RP2040/
Dport.c420 uint32_t irq_num = 15 + get_core_num(); in xPortStartScheduler() local
421 irq_set_priority( irq_num, portMIN_INTERRUPT_PRIORITY ); in xPortStartScheduler()
422 irq_set_exclusive_handler( irq_num, prvFIFOInterruptHandler ); in xPortStartScheduler()
423 irq_set_enabled( irq_num, 1 ); in xPortStartScheduler()