Symbol: SEGKPM_BASE
usr/src/uts/i86pc/os/startup.c
1196
ASSERT(segkpm_base <= SEGKPM_BASE);
usr/src/uts/i86pc/os/startup.c
241
static uintptr_t segkpm_base = (uintptr_t)SEGKPM_BASE;