The latest development version of this page may be more current than this released 2.7.5 version.

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

BOARD_QEMU_X86_TINY || (X86_MMU && X86)

(Includes any dependencies from ifs and menus.)

Defaults

Kconfig definitions

At boards/x86/qemu_x86/Kconfig.defconfig:103

Included via Kconfig:8 → Kconfig.zephyr:22

Menu path: (Top)

config X86_EXTRA_PAGE_TABLE_PAGES
    int
    default 2 if DEMAND_PAGING && !LINKER_GENERIC_SECTIONS_PRESENT_AT_BOOT
    depends on BOARD_QEMU_X86_TINY

At arch/x86/Kconfig:370

Included via Kconfig:8 → Kconfig.zephyr:39 → 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.)