AGTIMER(4)

NAME
agtimer - ARM generic timer

SYNOPSIS
agtimer* at fdt?

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

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