Searched refs:spm_boot_init (Results 1 – 3 of 3) sorted by relevance
147 spm_boot_init(); in bl31_platform_setup()
334 void spm_boot_init(void);
356 void spm_boot_init(void) in spm_boot_init() function