Searched refs:interrupt_controller_hal_get_cpu_desc_flags (Results 1 – 2 of 2) sorted by relevance
113 static inline uint32_t interrupt_controller_hal_get_cpu_desc_flags(int interrupt_number, int cpu_nu… in interrupt_controller_hal_get_cpu_desc_flags() function
221 if (interrupt_controller_hal_get_cpu_desc_flags(x, cpu)==INTDESC_RESVD) { in is_vect_desc_usable()225 if (interrupt_controller_hal_get_cpu_desc_flags(x, cpu)==INTDESC_SPECIAL && force==-1) { in is_vect_desc_usable()340 …x, interrupt_controller_hal_get_cpu_desc_flags(x,cpu)==INTDESC_RESVD, interrupt_controller_hal_get… in get_available_int()
