Searched refs:bl31_setup (Results 1 – 4 of 4) sorted by relevance
15 void bl31_setup(u_register_t arg0, u_register_t arg1, u_register_t arg2,
79 void bl31_setup(u_register_t arg0, u_register_t arg1, u_register_t arg2, in bl31_setup() function
90 bl bl31_setup
224 plat/${SOC_DIR}/src/bl31_setup.c \