Searched refs:spm_boot_init (Results 1 – 6 of 6) sorted by relevance
127 spm_boot_init(); in bl31_platform_setup()
160 spm_boot_init(); in bl31_platform_setup()
333 void spm_boot_init(void);
358 void spm_boot_init(void) in spm_boot_init() function
341 void spm_boot_init(void) in spm_boot_init() function
2549 extern void spm_boot_init(void);