xref: /freebsd/sys/contrib/device-tree/Bindings/x86/timer.txt (revision e6bfd18d21b225af6a0ed67ceeaf1293b7b9eba5) 
1Timers
2------
3
4* High Precision Event Timer (HPET)
5  Required property:
6     compatible = "intel,ce4100-hpet";
7