Lines Matching defs:void

96 static uint32_t get_spsr_for_bl33_entry(void)
113 static void lpuart32_serial_setbrg(unsigned int base, int baudrate)
196 void imx8_partition_resources(void)
298 void bl31_early_platform_setup2(u_register_t arg0, u_register_t arg1,
343 void bl31_plat_arch_setup(void)
369 void bl31_platform_setup(void)
385 unsigned int plat_get_syscnt_freq2(void)
390 void bl31_plat_runtime_setup(void)