coreboot-kgpe-d16/payloads/libpayload/drivers/timer
..
arm64_arch_timer.c
generic.c
Kconfig
rdtsc.c