Searched refs:interrupt_number (Results 1 – 2 of 2) sorted by relevance
21 static bool is_interrupt_number_reserved(int interrupt_number) in is_interrupt_number_reserved() argument26 if (reserved & BIT(interrupt_number)) { in is_interrupt_number_reserved()32 const intptr_t pc = (intptr_t)(&_vector_table + interrupt_number); in is_interrupt_number_reserved()41 int_type_t interrupt_controller_hal_desc_type(int interrupt_number) in interrupt_controller_hal_desc_type() argument45 return (int_desc[interrupt_number].type); in interrupt_controller_hal_desc_type()51 int interrupt_controller_hal_desc_level(int interrupt_number) in interrupt_controller_hal_desc_level() argument55 return (int_desc[interrupt_number].level); in interrupt_controller_hal_desc_level()61 int_desc_flag_t interrupt_controller_hal_desc_flags(int interrupt_number, int cpu_number) in interrupt_controller_hal_desc_flags() argument65 return (int_desc[interrupt_number].cpuflags[cpu_number]); in interrupt_controller_hal_desc_flags()68 return is_interrupt_number_reserved(interrupt_number) ? INTDESC_RESVD : INTDESC_NORMAL; in interrupt_controller_hal_desc_flags()
41 __attribute__((pure)) int_type_t interrupt_controller_hal_desc_type(int interrupt_number);49 __attribute__((pure)) int interrupt_controller_hal_desc_level(int interrupt_number);58 __attribute__((pure)) int_desc_flag_t interrupt_controller_hal_desc_flags(int interrupt_number, in…66 static inline int_type_t interrupt_controller_hal_get_type(int interrupt_number) in interrupt_controller_hal_get_type() argument68 return interrupt_controller_hal_desc_type(interrupt_number); in interrupt_controller_hal_get_type()77 static inline int interrupt_controller_hal_get_level(int interrupt_number) in interrupt_controller_hal_get_level() argument79 return interrupt_controller_hal_desc_level(interrupt_number); in interrupt_controller_hal_get_level()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() argument115 return interrupt_controller_hal_desc_flags(interrupt_number, cpu_number); in interrupt_controller_hal_get_cpu_desc_flags()
