CONFIG_X86_MMU_PAGE_POOL_PAGES

Number of pages to reserve for building page tables

Type: int

Help

Define the number of pages in the pool used to allocate page table data structures at runtime.

Pages might need to be drawn from the pool during memory mapping operations, unless the address space has been completely pre-allocated.

Pages will need to drawn from the pool to initialize memory domains. This does not include the default memory domain if KPTI=n.

The specific value used here depends on the size of physical RAM, how much additional virtual memory will be mapped at runtime, and how many memory domains need to be initialized.

The current suite of Zephyr test cases may initialize at most two additional memory domains besides the default domain.

Unused pages in this pool cannot be used for other purposes.

Direct dependencies

BOARD_EHL_CRB || BOARD_EHL_CRB_SBL || BOARD_MINNOWBOARD || BOARD_UP_SQUARED || BOARD_UP_SQUARED_32 || (X86_MMU && X86)

(Includes any dependencies from ifs and menus.)

Defaults

Kconfig definitions

At <Zephyr>/boards/x86/ehl_crb/Kconfig.defconfig:15

Included via <Zephyr>/Kconfig:8 → <Zephyr>/Kconfig.zephyr:18

Menu path: (Top)

config X86_MMU_PAGE_POOL_PAGES
    int
    default 3072 if X86_MMU
    depends on BOARD_EHL_CRB

At <Zephyr>/boards/x86/ehl_crb/Kconfig.defconfig:31

Included via <Zephyr>/Kconfig:8 → <Zephyr>/Kconfig.zephyr:18

Menu path: (Top)

config X86_MMU_PAGE_POOL_PAGES
    int
    default 3072 if X86_MMU
    depends on BOARD_EHL_CRB_SBL

At <Zephyr>/boards/x86/minnowboard/Kconfig.defconfig:11

Included via <Zephyr>/Kconfig:8 → <Zephyr>/Kconfig.zephyr:18

Menu path: (Top)

config X86_MMU_PAGE_POOL_PAGES
    int
    default 3086 if X86_MMU
    depends on BOARD_MINNOWBOARD

At <Zephyr>/boards/x86/up_squared/Kconfig.defconfig:14

Included via <Zephyr>/Kconfig:8 → <Zephyr>/Kconfig.zephyr:18

Menu path: (Top)

config X86_MMU_PAGE_POOL_PAGES
    int
    default 3092 if X86_MMU
    depends on BOARD_UP_SQUARED

At <Zephyr>/boards/x86/up_squared/Kconfig.defconfig:28

Included via <Zephyr>/Kconfig:8 → <Zephyr>/Kconfig.zephyr:18

Menu path: (Top)

config X86_MMU_PAGE_POOL_PAGES
    int
    default 3086 if X86_MMU
    depends on BOARD_UP_SQUARED_32

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

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

Menu path: (Top) → X86 Architecture Options → Enable Memory Management Unit

config X86_MMU_PAGE_POOL_PAGES
    int "Number of pages to reserve for building page tables"
    default 0
    depends on X86_MMU && X86
    help
      Define the number of pages in the pool used to allocate page table
      data structures at runtime.

      Pages might need to be drawn from the pool during memory mapping
      operations, unless the address space has been completely pre-allocated.

      Pages will need to drawn from the pool to initialize memory domains.
      This does not include the default memory domain if KPTI=n.

      The specific value used here depends on the size of physical RAM,
      how much additional virtual memory will be mapped at runtime, and
      how many memory domains need to be initialized.

      The current suite of Zephyr test cases may initialize at most two
      additional memory domains besides the default domain.

      Unused pages in this pool cannot be used for other purposes.

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