Symbol: init_secondary
sys/platform/pc64/include/smp.h
64
void init_secondary (void);
sys/platform/vkernel64/x86_64/mp.c
136
init_secondary();
sys/platform/vkernel64/x86_64/mp.c
96
void init_secondary(void);