Searched refs:irq_source_e (Results 1 – 1 of 1) sorted by relevance
118 } irq_source_e; typedef164 static inline void plic_set_pending (irq_source_e src) in plic_set_pending()186 static inline void plic_set_priority (irq_source_e src, irq_priority_e priority) in plic_set_priority()197 static inline void plic_interrupt_enable(irq_source_e src) in plic_interrupt_enable()208 static inline void plic_interrupt_disable(irq_source_e src) in plic_interrupt_disable()218 static inline void plic_interrupt_complete(irq_source_e src) in plic_interrupt_complete()
