Lines Matching defs:void

82 int board_uart_init(void)
104 unsigned int plat_get_syscnt_freq2(void)
117 void bl31_early_platform_setup2(u_register_t arg0, u_register_t arg1,
121 	void *from_bl2 = (void *)arg0;
122 	void *plat_params_from_bl2 = (void *)arg3;
251 void bl31_platform_setup(void)
285 void arm_console_runtime_init(void)
290 void plat_arm_program_trusted_mailbox(uintptr_t address)
298 void __init bl31_plat_arch_setup(void)
303 void __init plat_arm_pwrc_setup(void)
308 void __init npcm845x_bl31_plat_arch_setup(void)