Symbol: identcpu
sys/platform/vkernel64/include/cpu.h
51
void identcpu(void);
sys/platform/vkernel64/platform/init.c
809
identcpu();