Searched refs:interrupt_type (Results 1 – 2 of 2) sorted by relevance
72 uint32_t interrupt_type; in plat_ic_get_pending_interrupt_type() local79 interrupt_type = INTR_TYPE_EL3; in plat_ic_get_pending_interrupt_type()81 interrupt_type = INTR_TYPE_S_EL1; in plat_ic_get_pending_interrupt_type()86 interrupt_type = INTR_TYPE_INVAL; in plat_ic_get_pending_interrupt_type()88 interrupt_type = INTR_TYPE_NS; in plat_ic_get_pending_interrupt_type()92 return interrupt_type; in plat_ic_get_pending_interrupt_type()
661 interrupt_type_handler get_interrupt_type_handler(uint32_t interrupt_type);