efi_translate
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;
void * efi_translate(vm_offset_t);