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