1. 提供了一个系统计数器，用来实时测量流逝的时间；
2. 提供了一个虚拟计数器，用来测量某个虚拟机上流逝的虚拟时间；
3. 定时器，每隔一段时间会触发事件，支持正向计时和倒计时；
4. 通用timer实现必须包含一个内存映射的系统组件：提供system counter;

概述

1. 规格

（1）       Width：至少56bit;

（2）       频率：支持固定频率，典型是1-50MHZ;

（3）       ROLL-OVER：翻转时间不少于40 years;

（4）       Accuracy：未指定，24小时不多于10S;

（5）       Start-up：从0开始。

1. System counter一旦配置并运行，必须提供统一的 system time view;
2. System counter电源域必须常开；
3. 为了支持低功耗，低频率可以一个时钟累加一个比1大的数；

初始化并读取system counter频率

系统启动阶段，初始化system counter的时钟；

System counter的内存映射控制

需要通过内存映射(ioremap??)的方式对system counter进行控制：

1. 使能和禁用计数器；
2. 设置计数器的值；
3. 改变操作模式，更新频率或步长值；
4. 使能halt-on-debug，可以用来suspend counting.

访问physical counter

通过访问CNTPCT_EL0来获取64bit物理count值

虚拟counter

指示虚拟时间

事件流

通过system counter周期性的产生事件

实现的timers

如果EL3使用AArch64则实现的定时器有：

1. EL1物理定时器；
2. Non-secure EL2物理定时器；
3. Secure EL3物理定时器；

timer的输出

1. 提供一个输出信号给sysem;
2. 如果PE连到GIC,会想PE发送PPI信号

Timer regs

1. 一个64bit compare值寄存器，提供了64bit无符加计数器；
2. 一个32bit timer寄存器，提供了32bit有符号减计数器；
3. 一个32bit control寄存器