Symbol: cpu_lookup
sys/kern/kern_cpu.c
290
cpu_lookup(u_int idx)
sys/rump/librump/rumpkern/scheduler.c
110
cpu_lookup(u_int index)