Searched refs:int_desc_t (Results 1 – 6 of 6) sorted by relevance
44 const int_desc_t *int_desc = interrupt_controller_hal_desc_table(); in interrupt_controller_hal_desc_type()54 const int_desc_t *int_desc = interrupt_controller_hal_desc_table(); in interrupt_controller_hal_desc_level()64 const int_desc_t *int_desc = interrupt_controller_hal_desc_table(); in interrupt_controller_hal_desc_flags()
37 const static int_desc_t interrupt_descriptor_table [32]={72 const int_desc_t *interrupt_controller_hal_desc_table(void) in interrupt_controller_hal_desc_table()
40 } int_desc_t; typedef
32 __attribute__((pure)) const int_desc_t *interrupt_controller_hal_desc_table(void);
