Symbol: efi_exit
sys/arch/ia64/include/efilib.h
42
void efi_exit(EFI_STATUS status);
sys/arch/ia64/stand/efi/libefi/efi.c
112
efi_exit(status);
sys/arch/ia64/stand/efi/libefi/efi.c
192
efi_exit(status);
sys/stand/efiboot/boot.c
438
efi_exit();
sys/stand/efiboot/efiboot.h
76
void efi_exit(void);