Lines Matching defs:void

46 uint32_t plat_ic_get_pending_interrupt_id(void)
68 uint32_t plat_ic_get_pending_interrupt_type(void)
94 uint32_t plat_ic_acknowledge_interrupt(void)
123 void plat_ic_end_of_interrupt(uint32_t id)
156 unsigned int plat_ic_get_running_priority(void)
181 void plat_ic_enable_interrupt(unsigned int id)
186 void plat_ic_disable_interrupt(unsigned int id)
191 void plat_ic_set_interrupt_priority(unsigned int id, unsigned int priority)
217 void plat_ic_set_interrupt_type(unsigned int id, unsigned int type)
241 void plat_ic_raise_el3_sgi(int sgi_num, u_register_t target)
259 void plat_ic_raise_ns_sgi(int sgi_num, u_register_t target)
273 void plat_ic_raise_s_el1_sgi(int sgi_num, u_register_t target)
291 void plat_ic_set_spi_routing(unsigned int id, unsigned int routing_mode,
313 void plat_ic_set_interrupt_pending(unsigned int id)
318 void plat_ic_clear_interrupt_pending(unsigned int id)