Symbol: read_elf64
usr/src/psm/stand/boot/common/readfile.c
123
static uint64_t read_elf64(int, int, Elf64_Ehdr *);
usr/src/psm/stand/boot/common/readfile.c
225
elf64_go2 = read_elf64(fd, print,