Lines Matching +full:use +full:- +full:guard +full:- +full:pages
1 // SPDX-License-Identifier: GPL-2.0
5 * This file contains the lowest level x86_64-specific interrupt
8 * x86_64-specific irq controller code. (e.g. i8259.c and
34 * VMAP the backing store with guard pages
39 struct page *pages[IRQ_STACK_SIZE / PAGE_SIZE]; in map_irq_stack() local
46 pages[i] = pfn_to_page(pa >> PAGE_SHIFT); in map_irq_stack()
49 va = vmap(pages, IRQ_STACK_SIZE / PAGE_SIZE, VM_MAP, PAGE_KERNEL); in map_irq_stack()
51 return -ENOMEM; in map_irq_stack()
54 per_cpu(hardirq_stack_ptr, cpu) = va + IRQ_STACK_SIZE - 8; in map_irq_stack()
59 * If VMAP stacks are disabled due to KASAN, just use the per cpu
60 * backing store without guard pages.
67 per_cpu(hardirq_stack_ptr, cpu) = va + IRQ_STACK_SIZE - 8; in map_irq_stack()