Counter Frequency register (CNTFRQ)

Indicates the clock frequency of the system counter. More...

Functions
__STATIC_FORCEINLINE void	__set_CNTFRQ (uint32_t value)
	Set CNTFRQ.
__STATIC_FORCEINLINE uint32_t	__get_CNTFRQ (void)
	Get CNTFRQ.

Description

Indicates the clock frequency of the system counter.

Consider __get_CNTFRQ and __set_CNTFRQ to access this register.

Consider using Generic Physical Timer Functions for controlling the PL1 Timer instead.

Function Documentation

__get_CNTFRQ()

__STATIC_FORCEINLINE uint32_t __get_CNTFRQ

(

void

)

Get CNTFRQ.

This function returns the value of the PL1 Physical Timer Counter Frequency Register (CNTFRQ).

Returns

CNTFRQ Register value

This function returns the value of the Counter Frequency register (CNTFRQ).

__set_CNTFRQ()

__STATIC_FORCEINLINE void __set_CNTFRQ

(

uint32_t

value

)

Set CNTFRQ.

This function assigns the given value to PL1 Physical Timer Counter Frequency Register (CNTFRQ).

Parameters

[in]

value

CNTFRQ Register value to set

This function assigns the given value to Counter Frequency register (CNTFRQ).