OpenBSD manual page server

Manual Page Search Parameters
agtimer(4/arm64) ARM generic timer
agtimer(4/armv7) ARM generic timer

AGTIMER(4) Device Drivers Manual (arm64) AGTIMER(4)

agtimerARM generic timer

agtimer* at fdt?

The agtimer driver provides support for the ARM generic timer, an optional extension to the ARM architecture.

ARM Architecture Reference Manual ARMv8, for ARMv8-A architecture profile.

April 4, 2018 OpenBSD-current