Symbol: mv78xx0_bootstrap
sys/arch/arm/marvell/mvsocvar.h
155
void mv78xx0_bootstrap(vaddr_t);
sys/arch/evbarm/marvell/marvell_machdep.c
370
mv78xx0_bootstrap(MARVELL_INTERREGS_VBASE);