1. 根目录:
2. Documentation
3. devicetree
4. bindings
5. x86
6. timer.txt

Timers
------

* High Precision Event Timer (HPET)
  Required property:
     compatible = "intel,ce4100-hpet";