boot_elf_resolve_symbol
extern status_t boot_elf_resolve_symbol(preloaded_elf32_image* image,
extern status_t boot_elf_resolve_symbol(preloaded_elf64_image* image,
status = boot_elf_resolve_symbol(image, symbol, &S);
vlErr = boot_elf_resolve_symbol(image, sym, &S);
status = boot_elf_resolve_symbol(image, symbol, &symAddr);
vlErr = boot_elf_resolve_symbol(image, sym, &S);
vlErr = boot_elf_resolve_symbol(image, sym, &S);
status = boot_elf_resolve_symbol(image, symbol,
vlErr = boot_elf_resolve_symbol(image, sym, &S);
status = boot_elf_resolve_symbol(image, symbol, &symAddr);
status = boot_elf_resolve_symbol(image, symbol, &S);