Lines Matching defs:void

35 static void *fdt;
54 static void sunxi_find_dtb(void)
59 	u_boot_base = (void *)SUNXI_BL33_VIRT_BASE;
62 		void *dtb_base;
81 void bl31_early_platform_setup2(u_register_t arg0, u_register_t arg1,
107 void bl31_plat_arch_setup(void)
112 void bl31_platform_setup(void)
185 void bl31_plat_runtime_setup(void)