Symbol: init_kern_memory
sys/platform/vkernel64/platform/init.c
138
static void init_kern_memory(void);
sys/platform/vkernel64/platform/init.c
445
init_kern_memory();