OpenBSD manual page server

Manual Page Search Parameters
AMPTIMER(4) Device Drivers Manual (armv7) AMPTIMER(4)

amptimer — ARM global timer

amptimer* at cortex?

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

cortex(4)

September 18, 2016 OpenBSD-current