Symbol: kloader_hpcarm_reset
sys/arch/hpcarm/hpcarm/kloader_machdep.c
47
void kloader_hpcarm_reset(void);
sys/arch/hpcarm/hpcarm/kloader_machdep.c
57
.reset = kloader_hpcarm_reset,