SEGKPM_BASE
ASSERT(segkpm_base <= SEGKPM_BASE);
static uintptr_t segkpm_base = (uintptr_t)SEGKPM_BASE;