Holds the timer value for the PL1 physical timer. More...
Functions | |
__STATIC_FORCEINLINE void | __set_CNTP_TVAL (uint32_t value) |
Set CNTP_TVAL. | |
__STATIC_FORCEINLINE uint32_t | __get_CNTP_TVAL (void) |
Get CNTP_TVAL. | |
Holds the timer value for the PL1 physical timer.
Consider __get_CNTP_TVAL and __set_CNTP_TVAL to access this register.
Consider using Generic Physical Timer Functions for controlling the PL1 Timer instead.
__STATIC_FORCEINLINE uint32_t __get_CNTP_TVAL | ( | void | ) |
Get CNTP_TVAL.
This function returns the value of the PL1 Physical Timer Value Register (CNTP_TVAL).
This function returns the value of the PL1 Physical Timer Value register (CNTP_TVAL).
__STATIC_FORCEINLINE void __set_CNTP_TVAL | ( | uint32_t | value | ) |
Set CNTP_TVAL.
This function assigns the given value to PL1 Physical Timer Value Register (CNTP_TVAL).
[in] | value | CNTP_TVAL Register value to set |
This function assigns the given value to PL1 Physical Timer Value register (CNTP_TVAL).