Lines Matching defs:void

110 static bool rpi3_use_mini_uart(void)
115 void rpi3_console_init(void)
151 void rpi3_setup_page_tables(uintptr_t total_base, size_t total_size,
164 		(void *) total_base, (void *) (total_base + total_size));
171 		(void *) code_start, (void *) code_limit);
178 		(void *) rodata_start, (void *) rodata_limit);
186 		(void *) coh_start, (void *) coh_limit);
200 uint32_t rpi3_get_spsr_for_bl32_entry(void)
212 uint32_t rpi3_get_spsr_for_bl33_entry(void)
223 unsigned int plat_get_syscnt_freq2(void)
228 uint32_t plat_ic_get_pending_interrupt_type(void)