Symbol: tagStart
sys/arch/hpc/stand/hpcboot/hpcboot.cpp
235
f._arch->jump(p, f._loader->tagStart());
sys/arch/hpc/stand/hpcboot/load.h
79
paddr_t tagStart(void);