Searched refs:bl31_entry (Results 1 – 1 of 1) sorted by relevance
88 static void bl31_entry(uintptr_t bl31_entry, uintptr_t bl33_entry, in bl31_entry() argument92 atf_entry_t atf_entry = (atf_entry_t)bl31_entry; in bl31_entry()174 bl31_entry(spl_image->entry_point, bl33_entry, platform_param); in spl_invoke_atf()