CONFIG_RISCV_MACHINE_TIMER_SYSTEM_CLOCK_DIVIDER

(No prompt – not directly user assignable.)

Type: int

Help

Specifies the division ratio of the system clock supplied to the Machine Timer.

A clock obtained by dividing the system clock by a value of [2^N] is
supplied to the timer. Where N is this parameter's value.
When N=2, it is divided by 4, and when N=5, it is divided by 32.
Default case is N=0, this means use system clock as machine timer clock.
It is normal configuration for RISC-V machine clock.

This parameter usually depends on the hardware configuration.
The division ratio should define in devicetree,
and it is desireble usage that references it with using a function such as
dt_node_int_prop_int from Kconfig. (Tune in the conf file is not preferable.)

Kconfig definitions

At <Zephyr>/soc/riscv/riscv-privilege/gd32vf103/Kconfig.defconfig.gd32vf103:15

Included via <Zephyr>/Kconfig:8 → <Zephyr>/Kconfig.zephyr:25 → <nRF>/doc/_build/kconfig/Kconfig.soc.defconfig:1 → <Zephyr>/soc/riscv/riscv-privilege/Kconfig.defconfig:6 → <Zephyr>/soc/riscv/riscv-privilege/gd32vf103/Kconfig.defconfig.series:6

Menu path: (Top)

config RISCV_MACHINE_TIMER_SYSTEM_CLOCK_DIVIDER
    int
    default 0 if RISCV_MACHINE_TIMER
    depends on SOC_GD32VF103 && SOC_SERIES_GD32VF103

At <Zephyr>/soc/riscv/riscv-privilege/gd32vf103/Kconfig.defconfig.gd32vf103:15

Included via <Zephyr>/Kconfig:8 → <Zephyr>/Kconfig.zephyr:27 → <Zephyr>/soc/riscv/riscv-privilege/Kconfig.defconfig:6 → <Zephyr>/soc/riscv/riscv-privilege/gd32vf103/Kconfig.defconfig.series:6

Menu path: (Top)

config RISCV_MACHINE_TIMER_SYSTEM_CLOCK_DIVIDER
    int
    default 0 if RISCV_MACHINE_TIMER
    depends on SOC_GD32VF103 && SOC_SERIES_GD32VF103

At <Zephyr>/drivers/timer/Kconfig.riscv_machine:15

Included via <Zephyr>/Kconfig:8 → <Zephyr>/Kconfig.zephyr:42 → <Zephyr>/drivers/Kconfig:30 → <Zephyr>/drivers/timer/Kconfig:77

Menu path: (Top) → Device Drivers → Timer Drivers

config RISCV_MACHINE_TIMER_SYSTEM_CLOCK_DIVIDER
    int
    default 0
    help
      Specifies the division ratio of the system clock supplied to the Machine Timer.

      A clock obtained by dividing the system clock by a value of [2^N] is
      supplied to the timer. Where N is this parameter's value.
      When N=2, it is divided by 4, and when N=5, it is divided by 32.
      Default case is N=0, this means use system clock as machine timer clock.
      It is normal configuration for RISC-V machine clock.

      This parameter usually depends on the hardware configuration.
      The division ratio should define in devicetree,
      and it is desireble usage that references it with using a function such as
      dt_node_int_prop_int from Kconfig. (Tune in the conf file is not preferable.)

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