Lines Matching defs:void

54 uint32_t plat_ic_get_pending_interrupt_id(void)
76 uint32_t plat_ic_get_pending_interrupt_type(void)
107 uint32_t plat_ic_acknowledge_interrupt(void)
142 void plat_ic_end_of_interrupt(uint32_t id)
198 unsigned int plat_ic_get_running_priority(void)
223 void plat_ic_enable_interrupt(unsigned int id)
228 void plat_ic_disable_interrupt(unsigned int id)
233 void plat_ic_set_interrupt_priority(unsigned int id, unsigned int priority)
248 void plat_ic_set_interrupt_type(unsigned int id, unsigned int type)
271 void plat_ic_raise_el3_sgi(int sgi_num, u_register_t target)
283 void plat_ic_raise_ns_sgi(int sgi_num, u_register_t target)
295 void plat_ic_raise_s_el1_sgi(int sgi_num, u_register_t target)
307 void plat_ic_set_spi_routing(unsigned int id, unsigned int routing_mode,
328 void plat_ic_set_interrupt_pending(unsigned int id)
335 void plat_ic_clear_interrupt_pending(unsigned int id)
370 uint32_t plat_ic_get_pending_interrupt_id(void)
385 uint32_t plat_ic_acknowledge_interrupt(void)
396 void plat_ic_end_of_interrupt(uint32_t id)