Searched defs:bl31_setup (Results 1 – 2 of 2) sorted by relevance
95 void bl31_setup(u_register_t arg0, u_register_t arg1, u_register_t arg2, in bl31_setup() function
86 void bl31_setup(u_register_t arg0, u_register_t arg1, u_register_t arg2, in bl31_setup() function