Searched refs:efi_kernel_reloc (Results 1 – 4 of 4) sorted by relevance
56 extern physaddr_t efi_kernel_reloc;
40 physaddr_t efi_kernel_reloc = 0; variable
657 printf("reloc: %p\n", (void *)efi_kernel_reloc); in command_reloc()678 efi_kernel_reloc = strtoul(arg, &ep, 0); in command_reloc()
534 entry += (efi_kernel_reloc - efi_kernel_start); in exec_netbsd() 535 efi_kernel_start = efi_kernel_reloc; in exec_netbsd()