Symbol: sun4v_bootstrap_cpu
sys/arch/sparc64/sparc64/pmap.c
1208
void sun4v_bootstrap_cpu(paddr_t);
sys/arch/sparc64/sparc64/pmap.c
1214
sun4v_bootstrap_cpu(intstack);