Symbol: mbi_efi64
sys/arch/i386/stand/lib/exec_multiboot2.c
1300
len = mbi_efi64(mbp, bp);
sys/arch/x86/x86/multiboot2.c
705
mbi_efi64((void *)mbt);