headers/private/kernel/arch/x86/arch_hpet.h
headers/private/kernel/boot/arch/x86/arch_hpet.h