COREHEAP_BASE
ASSERT((uint32_t)COREHEAP_BASE == 0xc0000000u);
core_base = (uintptr_t)COREHEAP_BASE;
core_size = (size_t)MISC_VA_BASE - COREHEAP_BASE;