HomeSort by: relevance | last modified time | path
    Searched refs:efi_boot_kernel (Results 1 - 5 of 5) sorted by relevancy

  /src/sys/stand/efiboot/
efiboot_machdep.h 34 void efi_boot_kernel(u_long[MARK_MAX]);
exec.c 221 efi_boot_kernel(marks);
  /src/sys/stand/efiboot/bootarm/
efibootarm.c 49 efi_boot_kernel(u_long marks[MARK_MAX]) function in typeref:typename:void
  /src/sys/stand/efiboot/bootriscv64/
efibootriscv64.c 54 efi_boot_kernel(u_long marks[MARK_MAX]) function in typeref:typename:void
  /src/sys/stand/efiboot/bootaa64/
efibootaa64.c 49 efi_boot_kernel(u_long marks[MARK_MAX]) function in typeref:typename:void

Completed in 15 milliseconds