linux/Documentation/devicetree/bindings/x86/timer.txt

Timers
------

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