Searched refs:arch_interrupt_set_priority (Results 1 – 3 of 3) sorted by relevance
197 void arch_interrupt_set_priority(arch_int_src_t int_number, uint32_t int_priority);
147 arch_interrupt_set_priority(INT_SRC_UART0, 2); in arch_interrupt_enable()151 void arch_interrupt_set_priority(arch_int_src_t int_number, uint32_t int_priority) in arch_interrupt_set_priority() function
66 arch_interrupt_set_priority(int_num, int_priority); in bk_int_set_priority()