xref: /optee_os/lib/libutee/arch/arm/arm32_user_sysreg.txt (revision d7f3c23cd5d0a9cb6788879abd878ffdb64fe176)
1# Format of file
2# <reg-name> <CRn> <opc1> <CRm> <opc2> <Type> <Description>
3# lines beginning with '@' will be printed as additional comments
4
5@ Based on register description in
6@ ARM Architecture Reference Manual
7@ ARMv7-A and ARMv7-R edition
8@ Issue C.c
9@
10
11@ B8.2 Generic Timer registers summary
12CNTFRQ    c14 0 c0  0 RW Counter Frequency register
13CNTPCT    -   0 c14 - RO Physical Count register
14CNTVCT    -   1 c14 - RO Virtual Count register
15