ABT_STACK_SIZE
valloc_pages(abtstack, ABT_STACK_SIZE);
ABT_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
abtstack.pv_va + ABT_STACK_SIZE * PAGE_SIZE);
valloc_pages(abtstack, ABT_STACK_SIZE);
ABT_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
abtstack.pv_va + ABT_STACK_SIZE * PAGE_SIZE);
abtstack.pv_va + ABT_STACK_SIZE * PAGE_SIZE);
abtstack.pv_va + (cpu_index(ci) + 1) * ABT_STACK_SIZE * PAGE_SIZE);
cpu_num * (ABT_STACK_SIZE + FIQ_STACK_SIZE + IRQ_STACK_SIZE
valloc_pages(bmi, &abtstack, ABT_STACK_SIZE * cpu_num,
abtstack.pv_pa, abtstack.pv_pa + (ABT_STACK_SIZE * PAGE_SIZE) - 1,
abtstack.pv_va, abtstack.pv_va + (ABT_STACK_SIZE * PAGE_SIZE) - 1,
ABT_STACK_SIZE);
valloc_pages(abtstack, ABT_STACK_SIZE);
ABT_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
abtstack.pv_va + ABT_STACK_SIZE * PAGE_SIZE);
#ifndef ABT_STACK_SIZE
valloc_pages(abtstack, ABT_STACK_SIZE);
ABT_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
abtstack.pv_va + ABT_STACK_SIZE * PAGE_SIZE);
valloc_pages(abtstack, ABT_STACK_SIZE);
ABT_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
abtstack.pv_va + ABT_STACK_SIZE * PAGE_SIZE);
valloc_pages(abtstack, ABT_STACK_SIZE);
ABT_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
abtstack.pv_va + ABT_STACK_SIZE * PAGE_SIZE);
valloc_pages(abtstack, ABT_STACK_SIZE);
ABT_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
set_stackptr(PSR_ABT32_MODE, abtstack.pv_va + ABT_STACK_SIZE * PAGE_SIZE);
ABT_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
abtstack.pv_pa, abtstack.pv_pa + (ABT_STACK_SIZE * PAGE_SIZE) - 1,
abtstack.pv_va, abtstack.pv_va + (ABT_STACK_SIZE * PAGE_SIZE) - 1,
ABT_STACK_SIZE);
set_stackptr(PSR_ABT32_MODE, abtstack.pv_va + ABT_STACK_SIZE * PAGE_SIZE);
valloc_pages(abtstack, ABT_STACK_SIZE);
valloc_pages(abtstack, ABT_STACK_SIZE);
ABT_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
abtstack.pv_va + ABT_STACK_SIZE * PAGE_SIZE);
valloc_pages(abtstack, ABT_STACK_SIZE);
ABT_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
set_stackptr(PSR_ABT32_MODE, abtstack.pv_va + ABT_STACK_SIZE * PAGE_SIZE);
valloc_pages(abtstack, ABT_STACK_SIZE);
ABT_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
abtstack.pv_va + ABT_STACK_SIZE * PAGE_SIZE);
valloc_pages(abtstack, ABT_STACK_SIZE);
ABT_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
abtstack.pv_va + ABT_STACK_SIZE * PAGE_SIZE);
valloc_pages(abtstack, ABT_STACK_SIZE);
ABT_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
abtstack.pv_va + ABT_STACK_SIZE * PAGE_SIZE);
valloc_pages(abtstack, ABT_STACK_SIZE);
ABT_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
abtstack.pv_va + ABT_STACK_SIZE * PAGE_SIZE);
valloc_pages(abtstack, ABT_STACK_SIZE);
ABT_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
abtstack.pv_va + ABT_STACK_SIZE * PAGE_SIZE);
valloc_pages(abtstack, ABT_STACK_SIZE);
ABT_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
set_stackptr(PSR_ABT32_MODE, abtstack.pv_va + ABT_STACK_SIZE * PAGE_SIZE);
valloc_pages(abtstack, ABT_STACK_SIZE);
ABT_STACK_SIZE * PAGE_SIZE, VM_PROT_READ | VM_PROT_WRITE,
abtstack.pv_va + ABT_STACK_SIZE * PAGE_SIZE);
valloc_pages(abtstack, ABT_STACK_SIZE);
ABT_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
abtstack.pv_va + ABT_STACK_SIZE * PAGE_SIZE);
valloc_pages(abtstack, ABT_STACK_SIZE);
ABT_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
abtstack.pv_va + ABT_STACK_SIZE * PAGE_SIZE);
valloc_pages(abtstack, ABT_STACK_SIZE);
ABT_STACK_SIZE * PAGE_SIZE, VM_PROT_READ | VM_PROT_WRITE,
abtstack.pv_va + ABT_STACK_SIZE * PAGE_SIZE);
valloc_pages(abtstack, ABT_STACK_SIZE);
ABT_STACK_SIZE * PAGE_SIZE, VM_PROT_READ | VM_PROT_WRITE,
abtstack.pv_va + ABT_STACK_SIZE * PAGE_SIZE);
valloc_pages(abtstack, ABT_STACK_SIZE);
ABT_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
abtstack.pv_va + ABT_STACK_SIZE * PAGE_SIZE);
valloc_pages(abtstack, ABT_STACK_SIZE);
ABT_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
set_stackptr(PSR_ABT32_MODE, abtstack.pv_va + ABT_STACK_SIZE * PAGE_SIZE);
valloc_pages(abtstack, ABT_STACK_SIZE);
ABT_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
abtstack.pv_va + ABT_STACK_SIZE * PAGE_SIZE);
valloc_pages(abtstack, ABT_STACK_SIZE);
ABT_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
abtstack.pv_va + ABT_STACK_SIZE * PAGE_SIZE);
valloc_pages(abtstack, ABT_STACK_SIZE);
ABT_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
abtstack.pv_va + ABT_STACK_SIZE * PAGE_SIZE);
valloc_pages(abtstack, ABT_STACK_SIZE);
ABT_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
abtstack.pv_va + ABT_STACK_SIZE * PAGE_SIZE);
abtstack.pv_va + ABT_STACK_SIZE * PAGE_SIZE);
valloc_pages(abtstack, ABT_STACK_SIZE);
ABT_STACK_SIZE * PAGE_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);