Holds the 64-bit physical count value. More...
Functions | |
__STATIC_FORCEINLINE uint64_t | __get_CNTPCT (void) |
Get CNTPCT. | |
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.
__STATIC_FORCEINLINE uint64_t __get_CNTPCT | ( | void | ) |
Get CNTPCT.
This function returns the value of the 64 bits PL1 Physical Count Register (CNTPCT).
This function returns the value of the PL1 Physical Count register (CNTPCT).