Home
last modified time | relevance | path

Searched refs:bl31_entry (Results 1 – 1 of 1) sorted by relevance

/external/u-boot/common/spl/
Dspl_atf.c88 static void bl31_entry(uintptr_t bl31_entry, uintptr_t bl33_entry, in bl31_entry() argument
92 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()