valloc_pages
valloc_pages(kernel_l1pt, L1_TABLE_SIZE / PAGE_SIZE);
valloc_pages(kernel_pt_table[loop1],
valloc_pages(irqstack, IRQ_STACK_SIZE);
valloc_pages(abtstack, ABT_STACK_SIZE);
valloc_pages(undstack, UND_STACK_SIZE);
valloc_pages(kernelstack, UPAGES);
valloc_pages(fdt, round_page(size) / PAGE_SIZE);
valloc_pages(map, round_page(mmap_size) / PAGE_SIZE);