Symbol: bcm53xx_mpstart
sys/arch/evbarm/bcm53xx/bcm53xx_machdep.c
103
void bcm53xx_mpstart(void);
sys/arch/evbarm/bcm53xx/bcm53xx_machdep.c
390
bcm53xx_mpstart();