Help¶

Allow interrupts to be serviced while pages are being evicted or
retrieved from the backing store. This is much better for system
latency, but any code running in interrupt context that page faults
will cause a kernel panic. Such code must work with exclusively pinned
code and data pages.

The scheduler is still disabled during this operation.

If this option is disabled, the page fault servicing logic
runs with interrupts disabled for the entire operation. However,
ISRs may also page fault.

Direct dependencies¶

DEMAND_PAGING && MMU

(Includes any dependencies from ifs and menus.)

Defaults¶

No defaults. Implicitly defaults to n.

Kconfig definition¶

At <Zephyr>/arch/Kconfig:686

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

Menu path: (Top) → Enable MMU features → Enable demand paging [EXPERIMENTAL]

config DEMAND_PAGING_ALLOW_IRQ
    bool "Allow interrupts during page-ins/outs"
    depends on DEMAND_PAGING && MMU
    help
      Allow interrupts to be serviced while pages are being evicted or
      retrieved from the backing store. This is much better for system
      latency, but any code running in interrupt context that page faults
      will cause a kernel panic. Such code must work with exclusively pinned
      code and data pages.

      The scheduler is still disabled during this operation.

      If this option is disabled, the page fault servicing logic
      runs with interrupts disabled for the entire operation. However,
      ISRs may also page fault.

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