Symbol: xc_init_cpu
sys/kern/kern_cpu.c
177
xc_init_cpu(ci);
sys/rump/librump/rumpkern/rump.c
376
xc_init_cpu(ci);
sys/sys/xcall.h
46
void xc_init_cpu(struct cpu_info *);