Searched refs:spmd_init (Results 1 – 1 of 1) sorted by relevance
88 static int32_t spmd_init(void);179 static int32_t spmd_init(void) in spmd_init() function566 bl31_register_bl32_init(&spmd_init); in spmd_spmc_init()
