auxv64_t
iload64(char *rtld, Elf64_Phdr *thdr, Elf64_Phdr *dhdr, auxv64_t **avp)
static Elf64_Addr iload64(char *, Elf64_Phdr *, Elf64_Phdr *, auxv64_t **);
size = (av - auxv) * sizeof (auxv64_t);
auxv64_t *a64 =
(auxv64_t *)(uintptr_t)
auxv64_t auxv[__BOOT_NAUXV_IMPL]; /* Aux vector */
auxv64_t *av = auxv;