Symbol: mi_startup
sys/platform/vkernel64/platform/init.c
495
mi_startup();
sys/sys/systm.h
348
void mi_startup (void);