Symbol: multiboot64_start
sys/arch/i386/stand/efiboot/bootx64/efibootx64.c
39
void multiboot64_start(physaddr_t, physaddr_t, uint32_t);
sys/arch/i386/stand/efiboot/bootx64/efibootx64.c
68
CopyMem(multiboot64, multiboot64_start, multiboot64_size);