Module generic_timer 

Support for Arm Generic Timer

See Chapter G6: The Generic Timer in AArch32 State in ARM Architecture Reference Manual v8.

The Generic Timer existed in Armv7-A as well, but not in Armv7-R.

Structs

El0PhysicalTimer

Represents our Generic Physical Timer when we are running at EL0.

El0VirtualTimer

Represents our Generic Virtual Timer when we are running at EL0.

El1PhysicalTimer

Represents our Physical Timer when we are running at EL1.

El1VirtualTimer

Represents our Virtual Timer when we are running at EL1.

El2HypPhysicalTimer

Represents our Hypervisor-specific Physical Timer when we are running at EL1.

El2PhysicalTimer

Represents our Physical Timer when we are running at EL2.

El2VirtualTimer

Represents our Virtual Timer when we are running at EL1.

EventConfig

Describes the configuration for an Edvent

Enums

EventDir

Describes the direction of an Event

EventRate

How often does the event fire?

Traits

GenericTimer

Describes either a Physical or Virtual timer

Functions

read_physical_timer

A free-standing function to get the current Physical Timer value

read_virtual_timer

A free-standing function to get the current Virtual Timer value