PL1 Physical Count register (CNTPCT)

Holds the 64-bit physical count value. More...

Functions
__STATIC_FORCEINLINE uint64_t	__get_CNTPCT (void)
	Get CNTPCT.

Description

Holds the 64-bit physical count value.

Consider __get_CNTPCT to access this register.

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

Function Documentation

__get_CNTPCT()

__STATIC_FORCEINLINE uint64_t __get_CNTPCT

(

void

)

Get CNTPCT.

This function returns the value of the 64 bits PL1 Physical Count Register (CNTPCT).

Returns

CNTPCT Register value

This function returns the value of the PL1 Physical Count register (CNTPCT).