Symbol: init_vkernel
sys/platform/vkernel64/platform/init.c
140
static void init_vkernel(void);
sys/platform/vkernel64/platform/init.c
447
init_vkernel();