:orphan:

.. title:: CONFIG_RISCV_MACHINE_TIMER_SYSTEM_CLOCK_DIVIDER

.. kconfig:: CONFIG_RISCV_MACHINE_TIMER_SYSTEM_CLOCK_DIVIDER

CONFIG_RISCV_MACHINE_TIMER_SYSTEM_CLOCK_DIVIDER
###############################################

*(No prompt -- not directly user assignable.)*

Type: ``int``

Help
====

.. code-block:: none

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

Defaults
========

- 0 if \ :kconfig:`RISCV_MACHINE_TIMER <CONFIG_RISCV_MACHINE_TIMER>`
- 0

Kconfig definitions
===================



At ``<SoC>/riscv/riscv-privilege/gd32vf103/Kconfig.defconfig.gd32vf103:15``

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

Menu path: (Top)

.. code-block:: kconfig

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

----

At ``<Driver>/timer/Kconfig.riscv_machine:15``

Included via ``Kconfig:8`` → ``Kconfig.zephyr:42`` → ``<Driver>/Kconfig:30`` → ``<Driver>/timer/Kconfig:78``

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

.. code-block:: kconfig

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