Lines Matching defs:core_base
452 * 0xFFFFFFFF.C0000000 |-----------------------|- core_base / ekernelheap
503 * core_base: start of the kernel's "core" heap area on 64-bit systems.
557 uintptr_t core_base; /* base address of "core" heap */
1424 core_base = (uintptr_t)COREHEAP_BASE;
1448 core_base = valloc_base;
1452 PRM_DEBUG(core_base);
1460 ekernelheap = (char *)core_base;
1503 (void *)core_base, (void *)(core_base + core_size));
2788 (void) seg_attach(&kas, (caddr_t)core_base, core_size,