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