boot_alloc
new_av = boot_alloc(); /* Replaces old heap */
stack = boot_alloc();
stack = boot_alloc();
pml4 = (uint64_t *)boot_alloc();
pml3 = (uint64_t *)boot_alloc();
pml2 = (uint64_t *)boot_alloc();
pml1 = (uint64_t *)boot_alloc();
pml3 = (uint64_t *)boot_alloc();
pml2 = (uint64_t *)boot_alloc();
caddr_t boot_alloc(void);