OF_alloc_virt
if ((virt = (void*)OF_alloc_virt(size, align)) == (void*)-1) {
vaddr_t OF_alloc_virt(int, int);