Lines Matching defs:void

51 static void print_reset_reason(void)
140 void bl2_el3_early_platform_setup(u_register_t arg0,
150 void bl2_platform_setup(void)
170 static void update_monotonic_counter(void)
205 void bl2_el3_plat_arch_setup(void)
541 void bl2_el3_plat_prepare_exit(void)