amptimer(4) – ARM global timer

AMPTIMER(4) Device Drivers Manual (armv7) AMPTIMER(4)

NAME

amptimer — ARM global timer

amptimer* at cortex?

The amptimer driver provides support for the ARM global timer on Cortex-A9.