MISC_VA_BASE
boot_mapin((caddr_t)MISC_VA_BASE, MISC_VA_SIZE);
core_size = (size_t)MISC_VA_BASE - COREHEAP_BASE;
#define MISC_VA_SIZE (KERNEL_TEXT - MISC_VA_BASE)