efi_translate
kern_base = (uintptr_t)efi_translate(fp->f_addr);
(uintptr_t)efi_translate(kernend), "header");
multiboot2_exec(efi_translate(hdr->efi64_entry), addr,
entry = efi_translate(e->e_entry);
entry = efi_translate(ehdr->e_entry);
clean_addr = (vm_offset_t)efi_translate(fp->f_addr);
clean_size = (vm_offset_t)efi_translate(kernendp) - clean_addr;
entry = efi_translate(e->e_entry);
void * efi_translate(vm_offset_t ptr);
entry = efi_translate(ehdr->e_entry);
clean_addr = (vm_offset_t)efi_translate(fp->f_addr);
clean_size = (vm_offset_t)efi_translate(kernendp) - clean_addr;