Symbol: netbookpro_reset
sys/arch/hpcarm/hpcarm/netbookpro_machdep.c
115
__cpu_reset = netbookpro_reset;
sys/arch/hpcarm/hpcarm/netbookpro_machdep.c
59
static void netbookpro_reset(void);