Symbol: load_symbol_block
sys/arch/hpc/stand/hpcboot/load_elf.cpp
171
load_symbol_block(kv);
sys/arch/hpc/stand/hpcboot/load_elf.h
63
void load_symbol_block(vaddr_t);