Symbol: jumpAddr
sys/arch/hpc/stand/hpcboot/arch.cpp
89
_boot_arg->kernel_entry = loader.jumpAddr();
sys/arch/hpc/stand/hpcboot/load.h
77
virtual kaddr_t jumpAddr(void) = 0;
sys/arch/hpc/stand/hpcboot/load_coff.h
61
kaddr_t jumpAddr(void);
sys/arch/hpc/stand/hpcboot/load_elf.h
72
kaddr_t jumpAddr(void);