Searched refs:PICO_DEFAULT_IRQ_PRIORITY (Results 1 – 3 of 3) sorted by relevance
95 #ifndef PICO_DEFAULT_IRQ_PRIORITY96 #define PICO_DEFAULT_IRQ_PRIORITY 0x80 macro
162 #ifndef PICO_DEFAULT_IRQ_PRIORITY163 #define PICO_DEFAULT_IRQ_PRIORITY 0x80 macro
652 #if PICO_DEFAULT_IRQ_PRIORITY != 0 in runtime_init_per_core_irq_priorities()655 uint32_t prio4 = (PICO_DEFAULT_IRQ_PRIORITY & 0xff) * 0x1010101u; in runtime_init_per_core_irq_priorities()662 irq_set_priority(i, PICO_DEFAULT_IRQ_PRIORITY); in runtime_init_per_core_irq_priorities()
