arch_timer.h   19 arch/arm/kernel/vdso.c #include <asm/arch_timer.h>
arch_timer.h    8 arch/arm64/include/asm/timex.h #include <asm/arch_timer.h>
arch_timer.h    7 arch/arm64/kernel/cpuinfo.c #include <asm/arch_timer.h>
arch_timer.h   28 drivers/clocksource/arm_arch_timer.c #include <asm/arch_timer.h>
arch_timer.h   53 drivers/watchdog/sbsa_gwdt.c #include <asm/arch_timer.h>
arch_timer.h   15 virt/kvm/arm/arch_timer.c #include <asm/arch_timer.h>