Symbol: bootstrap_idle
sys/platform/vkernel64/x86_64/mp.c
138
bootstrap_idle();
sys/platform/vkernel64/x86_64/mp.c
80
void bootstrap_idle(void);