Symbol: dove_bootstrap
sys/arch/arm/marvell/mvsocvar.h
156
void dove_bootstrap(vaddr_t);
sys/arch/evbarm/marvell/marvell_machdep.c
388
dove_bootstrap(MARVELL_INTERREGS_VBASE);