Searched defs:bl33_entry (Results 1 – 1 of 1) sorted by relevance
36 uintptr_t bl33_entry) in bl2_plat_get_bl31_params()118 uintptr_t bl33_entry, uintptr_t fdt_addr) in bl31_entry()166 uintptr_t bl32_entry, bl33_entry; in spl_invoke_atf() local