Lines Matching defs:void

35 void gicv2_cpuif_enable(void)
58 void gicv2_cpuif_disable(void)
77 void gicv2_pcpu_distif_init(void)
101 void gicv2_distif_init(void)
128 void gicv2_driver_init(const gicv2_driver_data_t *plat_driver_data)
178 unsigned int gicv2_is_fiq_enabled(void)
197 unsigned int gicv2_get_pending_interrupt_type(void)
210 unsigned int gicv2_get_pending_interrupt_id(void)
234 unsigned int gicv2_acknowledge_interrupt(void)
246 void gicv2_end_of_interrupt(unsigned int id)
281 unsigned int gicv2_get_running_priority(void)
295 void gicv2_set_pe_target_mask(unsigned int proc_num)
345 void gicv2_enable_interrupt(unsigned int id)
362 void gicv2_disable_interrupt(unsigned int id)
380 void gicv2_set_interrupt_priority(unsigned int id, unsigned int priority)
393 void gicv2_set_interrupt_group(unsigned int id, unsigned int group)
421 void gicv2_raise_sgi(int sgi_num, bool ns, int proc_num)
457 void gicv2_set_spi_routing(unsigned int id, int proc_num)
490 void gicv2_clear_interrupt_pending(unsigned int id)
509 void gicv2_set_interrupt_pending(unsigned int id)
553 void gicv2_interrupt_set_cfg(unsigned int id, unsigned int cfg)