Searched refs:spm_boot_init (Results 1 – 12 of 12) sorted by relevance
67 extern void spm_boot_init(void);
87 void spm_boot_init(void) in spm_boot_init() function
92 void spm_boot_init(void) in spm_boot_init() function
104 spm_boot_init(); in bl31_platform_setup()
108 spm_boot_init(); in bl31_platform_setup()
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);