Before revision: The High Precision Event Timer (HPET) is a hardware timer used in personal computers.
After revision: The High Precision Event Timer (HPET) is a hardware timer available in modern x86-compatible personal computers.