Searched refs:spmc_init (Results 1 – 3 of 3) sorted by relevance
21 int spmc_init(void);
156 int spmc_init(void) in spmc_init() function
155 spmc_init(); in bl31_platform_setup()