Files: /kernel/x86_64/file:samples/timers/hpet_example.c