Lines Matching defs:void

28 uintptr_t plat_get_ns_image_entrypoint(void)
37 uint32_t fpga_get_spsr_for_bl33_entry(void)
42 void bl31_early_platform_setup2(u_register_t arg0, u_register_t arg1,
69 void bl31_plat_arch_setup(void)
73 void bl31_platform_setup(void)
161 static unsigned int fpga_get_system_frequency(void)
163 	const void *fdt = (void *)(uintptr_t)FPGA_PRELOADED_DTB_BASE;
209 unsigned int plat_get_syscnt_freq2(void)
218 static void fpga_dtb_update_clock(void *fdt, unsigned int freq)
258 static int fpga_dtb_set_commandline(void *fdt, const char *cmdline)
307 static void fpga_prepare_dtb(void)
309 	void *fdt = (void *)(uintptr_t)FPGA_PRELOADED_DTB_BASE;
310 	const char *cmdline = (void *)(uintptr_t)FPGA_PRELOADED_CMD_LINE;
395 void bl31_plat_runtime_setup(void)
400 void bl31_plat_enable_mmu(uint32_t flags)