Symbol: bcm53xx_system_reset
sys/arch/evbarm/bcm53xx/bcm53xx_machdep.c
370
cpu_reset_address = bcm53xx_system_reset;
sys/arch/evbarm/bcm53xx/bcm53xx_machdep.c
91
static void bcm53xx_system_reset(void);