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

  /src/sys/arch/i386/stand/efiboot/
efiboot.h 55 extern physaddr_t efi_loadaddr, efi_kernel_start, efi_load_start;
efiboot.c 39 physaddr_t efi_loadaddr, efi_kernel_start, efi_load_start; variable in typeref:typename:physaddr_t
  /src/sys/arch/i386/stand/efiboot/bootx64/
efibootx64.c 83 (*startprog64)(efi_kernel_start, efi_load_start,
  /src/sys/arch/i386/stand/efiboot/bootia32/
efibootia32.c 78 efi_kernel_start, efi_load_start,
  /src/sys/arch/i386/stand/lib/
exec.c 525 efi_kernel_start = marks[MARK_START];
526 efi_kernel_size = image_end - (efi_loadaddr + efi_kernel_start);
530 entry += (efi_load_start - efi_kernel_start);
531 efi_kernel_start = efi_load_start;
534 entry += (efi_kernel_reloc - efi_kernel_start);
535 efi_kernel_start = efi_kernel_reloc;

Completed in 15 milliseconds