Defined in 1 files as a macro:

• drivers/clocksource/arm_arch_timer.c, line 555 (as a macro)

Defined in 1 files as a function:

• drivers/clocksource/arm_arch_timer.c, line 505 (as a function)

Referenced in 1 files:

• drivers/clocksource/arm_arch_timer.c
  • line 677
  • line 1167
  • line 1238