Symbol: efi_boot_kernel
sys/stand/efiboot/efiboot_machdep.h
34
void efi_boot_kernel(u_long[MARK_MAX]);
sys/stand/efiboot/exec.c
221
efi_boot_kernel(marks);