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