Symbol: IRQ_STACK_SIZE
sys/arch/armv7/armv7/armv7_machdep.c
547
valloc_pages(irqstack, IRQ_STACK_SIZE);
sys/arch/armv7/armv7/armv7_machdep.c
649
IRQ_STACK_SIZE * PAGE_SIZE, PROT_READ | PROT_WRITE, PTE_CACHE);
sys/arch/armv7/armv7/armv7_machdep.c
718
irqstack.pv_va + IRQ_STACK_SIZE * PAGE_SIZE);