Searched refs:atf_entry (Results 1 – 1 of 1) sorted by relevance
92 atf_entry_t atf_entry = (atf_entry_t)bl31_entry; in bl31_entry() local99 atf_entry((void *)bl31_params, (void *)fdt_addr); in bl31_entry()