Module resources 

Structs to manage device resources.

The high level flow of resource management among the VMM, the device manager, and the device is as below:

1. the VMM creates a new device object.
2. the VMM asks the new device object for its resource constraints.
3. the VMM allocates resources for the device object according to resource constraints.
4. the VMM passes the allocated resources to the device object.
5. the VMM registers the new device onto corresponding device managers according the allocated resources.

Structs

DeviceResources

Newtype to store a set of device resources.

Enums

MsiIrqType

Type of Message Singaled Interrupt

Resource

Enumeration for device resources.

ResourceConstraint

Enumeration describing a device’s resource constraints.