Symbol: efi_boot_minimal
sys/arch/ia64/ia64/machdep.c
484
efi_boot_minimal(bootinfo.bi_systab);
sys/arch/ia64/include/efi.h
48
int efi_boot_minimal(uint64_t);