Symbol: efi_boot_kernel
sys/stand/efiboot/bootaa64/efibootaa64.c
49
efi_boot_kernel(u_long marks[MARK_MAX])
sys/stand/efiboot/bootarm/efibootarm.c
49
efi_boot_kernel(u_long marks[MARK_MAX])
sys/stand/efiboot/bootriscv64/efibootriscv64.c
54
efi_boot_kernel(u_long marks[MARK_MAX])