PL1 Physical Count register (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.