CONFIG_DEMAND_PAGING_TIMING_HISTOGRAM_NUM_BINS

Number of bins (buckets) in Demand Paging Timing Histogrm

Type: int

Help

Defines the number of bins (buckets) in the histogram used for
gathering execution timing information for demand paging.

This requires k_mem_paging_eviction_histogram_bounds[] and
k_mem_paging_backing_store_histogram_bounds[] to define
the upper bounds for each bin. See kernel/statistics.c for
information.

Direct dependencies

DEMAND_PAGING_TIMING_HISTOGRAM && DEMAND_PAGING && MMU

(Includes any dependencies from ifs and menus.)

Default

  • 10

Kconfig definition

At <Zephyr>/arch/Kconfig:737

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

Menu path: (Top) → Enable MMU features → Enable demand paging [EXPERIMENTAL] → Gather Demand Paging Execution Timing Histogram

config DEMAND_PAGING_TIMING_HISTOGRAM_NUM_BINS
    int "Number of bins (buckets) in Demand Paging Timing Histogrm"
    default 10
    depends on DEMAND_PAGING_TIMING_HISTOGRAM && DEMAND_PAGING && MMU
    help
      Defines the number of bins (buckets) in the histogram used for
      gathering execution timing information for demand paging.

      This requires k_mem_paging_eviction_histogram_bounds[] and
      k_mem_paging_backing_store_histogram_bounds[] to define
      the upper bounds for each bin. See kernel/statistics.c for
      information.

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