Symbol: setrealcpu
sys/platform/vkernel64/include/cpu.h
50
void setrealcpu(void);
sys/platform/vkernel64/platform/init.c
448
setrealcpu();
sys/platform/vkernel64/x86_64/mp.c
137
setrealcpu();