Lines Matching defs:void

40 void plat_fpga_gic_init(void)
42 	const void *fdt = (void *)(uintptr_t)FPGA_PRELOADED_DTB_BASE;
129 void fpga_pwr_gic_on_finish(void)
135 void fpga_pwr_gic_off(void)
141 unsigned int fpga_get_nr_gic_cores(void)
146 uintptr_t fpga_get_redist_size(void)
154 uintptr_t fpga_get_redist_base(void)
159 bool fpga_has_its(void)