CONFIG_DEMAND_PAGING_ALLOW_IRQ

Allow interrupts during page-ins/outs

Type: bool

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:690

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

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.)