Lines Matching defs:void

32 void bl31_platform_setup(void)
44 void bl31_early_platform_setup2(u_register_t arg0, u_register_t arg1,
47 	arm_bl31_early_platform_setup((void *)arg0, arg1, arg2, (void *)arg3);
54 static __dead2 void tc_run_platform_tests(void)
77 void tc_bl31_common_platform_setup(void)
91 void __init bl31_plat_arch_setup(void)
105 void tc_bl31_plat_runtime_setup(void)
113 void bl31_plat_runtime_setup(void)