Searched refs:efi_kernel_start (Results 1 – 5 of 5) sorted by relevance
525 efi_kernel_start = marks[MARK_START]; in exec_netbsd() 526 efi_kernel_size = image_end - (efi_loadaddr + efi_kernel_start); in exec_netbsd() 530 entry += (efi_load_start - efi_kernel_start); in exec_netbsd() 531 efi_kernel_start = efi_load_start; in exec_netbsd() 534 entry += (efi_kernel_reloc - efi_kernel_start); in exec_netbsd() 535 efi_kernel_start = efi_kernel_reloc; in exec_netbsd()
55 extern physaddr_t efi_loadaddr, efi_kernel_start, efi_load_start;
39 physaddr_t efi_loadaddr, efi_kernel_start, efi_load_start; variable
78 efi_kernel_start, efi_load_start, in startprog()
83 (*startprog64)(efi_kernel_start, efi_load_start, in startprog()