Symbol: dboot_elfload64
usr/src/uts/i86pc/dboot/dboot_elfload.h
34
extern int dboot_elfload64(uintptr_t);
usr/src/uts/i86pc/dboot/dboot_startkern.c
2644
if (dboot_elfload64(load_addr) != 0)