Symbol: layout_kernel_va
usr/src/uts/i86pc/os/startup.c
1359
layout_kernel_va();
usr/src/uts/i86pc/os/startup.c
197
static void layout_kernel_va(void);