Searched refs:efi_entry (Results 1 – 3 of 3) sorted by relevance
48 bl efi_entry
113 unsigned long efi_entry(void *handle, efi_system_table_t *sys_table, in efi_entry() function
1435 @ EFI firmware to efi_entry1441 bl efi_entry1448 @ Preserve return value of efi_entry() in r41468 @ put FDT address in r2, it was returned by efi_entry()
