Searched refs:efi_exit (Results 1 – 2 of 2) sorted by relevance
37 efi_exit(EFI_STATUS exit_code) in efi_exit() function48 efi_exit(EFI_LOAD_ERROR); in exit()108 efi_exit(status); in efi_main()188 efi_exit(status); in efi_main()
77 void efi_exit(EFI_STATUS status); /* should be __dead2 */