CONFIG_X86_EXTRA_PAGE_TABLE_PAGES

Reserve extra pages in page table

Type: int

Help

The whole page table is pre-allocated at build time and is
dependent on the range of address space. This allows reserving
extra pages (of size CONFIG_MMU_PAGE_SIZE) to the page table
so that gen_mmu.py can make use of these extra pages.

Says 0 unless absolutely sure that this is necessary.

Direct dependencies

X86_MMU && X86

(Includes any dependencies from ifs and menus.)

Kconfig definition

At <Zephyr>/arch/x86/Kconfig:370

Included via <Zephyr>/Kconfig:8 → <Zephyr>/Kconfig.zephyr:37 → <Zephyr>/arch/Kconfig:12

Menu path: (Top) → X86 Architecture Options

config X86_EXTRA_PAGE_TABLE_PAGES
    int "Reserve extra pages in page table"
    default 1 if X86_PAE && KERNEL_VM_BASE != SRAM_BASE_ADDRESS
    default 0
    depends on X86_MMU && X86
    help
      The whole page table is pre-allocated at build time and is
      dependent on the range of address space. This allows reserving
      extra pages (of size CONFIG_MMU_PAGE_SIZE) to the page table
      so that gen_mmu.py can make use of these extra pages.

      Says 0 unless absolutely sure that this is necessary.

(The ‘depends on’ condition includes propagated dependencies from ifs and menus.)