xref: /optee_os/lib/libutee/arch/arm/arm32_user_sysreg.txt (revision 0d77037f5943c86560dd7c8f473fbc6a55d60a34)
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
14