Searched refs:irqstack (Results 1 – 1 of 1) sorted by relevance
159 pv_addr_t irqstack; variable547 valloc_pages(irqstack, IRQ_STACK_SIZE); in initarm()555 printf("IRQ stack: p0x%08lx v0x%08lx\n", irqstack.pv_pa, in initarm()556 irqstack.pv_va); in initarm()648 pmap_map_chunk(l1pagetable, irqstack.pv_va, irqstack.pv_pa, in initarm()718 irqstack.pv_va + IRQ_STACK_SIZE * PAGE_SIZE); in initarm()