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.