Defined in 1 files as a function:

• include/kvm/arm_arch_timer.h, line 160 (as a function)

Referenced in 2 files:

• arch/arm64/kvm/arch_timer.c
  • line 512
  • line 832
• arch/arm64/kvm/hyp/vhe/switch.c
  • line 125
  • line 159
  • line 301