Lines Matching defs:void

58 void bl2_early_platform_setup2(u_register_t arg0, u_register_t arg1,
61 	meminfo_t *mem_layout = (void *)arg1;
72 static void security_setup(void)
80 static void update_dt(void)
86 	void *fdt = (void *)(uintptr_t)ARM_PRELOADED_DTB_BASE;
118 void bl2_platform_setup(void)
121 	bl2_tl = transfer_list_init((void *)(uintptr_t)FW_HANDOFF_BASE,
134 void qemu_bl2_sync_transfer_list(void)
141 void bl2_plat_arch_setup(void)
164 static uint32_t qemu_get_spsr_for_bl32_entry(void)
181 static uint32_t qemu_get_spsr_for_bl33_entry(void)
207 	void *dtb = (void *)image_info->image_base;
333 					(void *)(uintptr_t)FW_NS_HANDOFF_BASE,
403 uintptr_t plat_get_ns_image_entrypoint(void)