xref: /optee_os/lib/libutee/arch/arm/arm32_user_sysreg.txt (revision d7f3c23cd5d0a9cb6788879abd878ffdb64fe176)
14486d586SSumit Garg# Format of file
24486d586SSumit Garg# <reg-name> <CRn> <opc1> <CRm> <opc2> <Type> <Description>
34486d586SSumit Garg# lines beginning with '@' will be printed as additional comments
44486d586SSumit Garg
54486d586SSumit Garg@ Based on register description in
64486d586SSumit Garg@ ARM Architecture Reference Manual
74486d586SSumit Garg@ ARMv7-A and ARMv7-R edition
84486d586SSumit Garg@ Issue C.c
94486d586SSumit Garg@
104486d586SSumit Garg
114486d586SSumit Garg@ B8.2 Generic Timer registers summary
124486d586SSumit GargCNTFRQ    c14 0 c0  0 RW Counter Frequency register
134486d586SSumit GargCNTPCT    -   0 c14 - RO Physical Count register
14*d7f3c23cSJens WiklanderCNTVCT    -   1 c14 - RO Virtual Count register
15