headers/private/firewire/timer.h headers/private/kernel/arch/timer.h headers/private/kernel/arch/x86/timer.h headers/private/kernel/boot/timer.h headers/private/kernel/timer.h src/system/boot/platform/efi/timer.h
