UND_STACK_SIZE
valloc_pages(undstack, UND_STACK_SIZE);
UND_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
undstack.pv_va + UND_STACK_SIZE * PAGE_SIZE);
valloc_pages(undstack, UND_STACK_SIZE);
UND_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
undstack.pv_va + UND_STACK_SIZE * PAGE_SIZE);
undstack.pv_va + UND_STACK_SIZE * PAGE_SIZE);
undstack.pv_va + (cpu_index(ci) + 1) * UND_STACK_SIZE * PAGE_SIZE);
undstack.pv_pa, undstack.pv_pa + (UND_STACK_SIZE * PAGE_SIZE) - 1,
undstack.pv_va, undstack.pv_va + (UND_STACK_SIZE * PAGE_SIZE) - 1,
UND_STACK_SIZE);
+ UND_STACK_SIZE + UPAGES) * PAGE_SIZE;
valloc_pages(bmi, &undstack, UND_STACK_SIZE * cpu_num,
valloc_pages(undstack, UND_STACK_SIZE);
UND_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
undstack.pv_va + UND_STACK_SIZE * PAGE_SIZE);
#ifndef UND_STACK_SIZE
valloc_pages(undstack, UND_STACK_SIZE);
UND_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
undstack.pv_va + UND_STACK_SIZE * PAGE_SIZE);
valloc_pages(undstack, UND_STACK_SIZE);
UND_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
undstack.pv_va + UND_STACK_SIZE * PAGE_SIZE);
valloc_pages(undstack, UND_STACK_SIZE);
UND_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
undstack.pv_va + UND_STACK_SIZE * PAGE_SIZE);
valloc_pages(undstack, UND_STACK_SIZE);
UND_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
set_stackptr(PSR_UND32_MODE, undstack.pv_va + UND_STACK_SIZE * PAGE_SIZE);
UND_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
undstack.pv_pa, undstack.pv_pa + (UND_STACK_SIZE * PAGE_SIZE) - 1,
undstack.pv_va, undstack.pv_va + (UND_STACK_SIZE * PAGE_SIZE) - 1,
UND_STACK_SIZE);
set_stackptr(PSR_UND32_MODE, undstack.pv_va + UND_STACK_SIZE * PAGE_SIZE);
valloc_pages(undstack, UND_STACK_SIZE);
valloc_pages(undstack, UND_STACK_SIZE);
UND_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
undstack.pv_va + UND_STACK_SIZE * PAGE_SIZE);
valloc_pages(undstack, UND_STACK_SIZE);
UND_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
set_stackptr(PSR_UND32_MODE, undstack.pv_va + UND_STACK_SIZE * PAGE_SIZE);
valloc_pages(undstack, UND_STACK_SIZE);
UND_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
undstack.pv_va + UND_STACK_SIZE * PAGE_SIZE);
valloc_pages(undstack, UND_STACK_SIZE);
UND_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
undstack.pv_va + UND_STACK_SIZE * PAGE_SIZE);
valloc_pages(undstack, UND_STACK_SIZE);
UND_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
undstack.pv_va + UND_STACK_SIZE * PAGE_SIZE);
valloc_pages(undstack, UND_STACK_SIZE);
UND_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
undstack.pv_va + UND_STACK_SIZE * PAGE_SIZE);
valloc_pages(undstack, UND_STACK_SIZE);
UND_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
undstack.pv_va + UND_STACK_SIZE * PAGE_SIZE);
valloc_pages(undstack, UND_STACK_SIZE);
UND_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
set_stackptr(PSR_UND32_MODE, undstack.pv_va + UND_STACK_SIZE * PAGE_SIZE);
valloc_pages(undstack, UND_STACK_SIZE);
UND_STACK_SIZE * PAGE_SIZE, VM_PROT_READ | VM_PROT_WRITE,
undstack.pv_va + UND_STACK_SIZE * PAGE_SIZE);
valloc_pages(undstack, UND_STACK_SIZE);
UND_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
undstack.pv_va + UND_STACK_SIZE * PAGE_SIZE);
valloc_pages(undstack, UND_STACK_SIZE);
UND_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
undstack.pv_va + UND_STACK_SIZE * PAGE_SIZE);
valloc_pages(undstack, UND_STACK_SIZE);
UND_STACK_SIZE * PAGE_SIZE, VM_PROT_READ | VM_PROT_WRITE,
undstack.pv_va + UND_STACK_SIZE * PAGE_SIZE);
valloc_pages(undstack, UND_STACK_SIZE);
UND_STACK_SIZE * PAGE_SIZE, VM_PROT_READ | VM_PROT_WRITE,
undstack.pv_va + UND_STACK_SIZE * PAGE_SIZE);
valloc_pages(undstack, UND_STACK_SIZE);
UND_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
undstack.pv_va + UND_STACK_SIZE * PAGE_SIZE);
valloc_pages(undstack, UND_STACK_SIZE);
UND_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
set_stackptr(PSR_UND32_MODE, undstack.pv_va + UND_STACK_SIZE * PAGE_SIZE);
valloc_pages(undstack, UND_STACK_SIZE);
UND_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
undstack.pv_va + UND_STACK_SIZE * PAGE_SIZE);
valloc_pages(undstack, UND_STACK_SIZE);
UND_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
undstack.pv_va + UND_STACK_SIZE * PAGE_SIZE);
valloc_pages(undstack, UND_STACK_SIZE);
UND_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
undstack.pv_va + UND_STACK_SIZE * PAGE_SIZE);
valloc_pages(undstack, UND_STACK_SIZE);
UND_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
undstack.pv_va + UND_STACK_SIZE * PAGE_SIZE);
undstack.pv_va + UND_STACK_SIZE * PAGE_SIZE);
valloc_pages(undstack, UND_STACK_SIZE);
UND_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);