Searched refs:bl31_lib_init (Results 1 – 1 of 1) sorted by relevance
58 void bl31_lib_init(void) in bl31_lib_init() function80 bl31_lib_init(); in bl31_main()