Searched refs:efi_entry (Results 1 – 3 of 3) sorted by relevance
52 bl efi_entry
91 unsigned long efi_entry(void *handle, efi_system_table_t *sys_table, in efi_entry() function
1383 @ EFI firmware to efi_entry1389 bl efi_entry1396 @ Preserve return value of efi_entry() in r41402 @ put FDT address in r2, it was returned by efi_entry()
