boot_virt_alloc
(void) boot_virt_alloc((char *)addr + size, vmp->vm_quantum);
extern void *boot_virt_alloc(void *addr, size_t size);