Defined in 2 files as a function:

• arch/arm/include/asm/arch_timer.h, line 108 (as a function)
• arch/arm64/include/asm/arch_timer.h, line 196 (as a function)

Referenced in 4 files:

• arch/arm/include/asm/arch_timer.h, line 119
• arch/arm64/include/asm/vdso/gettimeofday.h, line 85
• arch/arm64/kvm/hyp/nvhe/clock.c, line 57
• drivers/clocksource/arm_arch_timer.c
  • line 124
  • line 625