Module twizzler_abi::device

APIs for accessing the device tree and device representation objects.

Modules

• bus

Structs

• DeviceId
  A per-bus device ID.
• DeviceInterrupt
• DeviceInterruptFlags
  Possible flags for device interrupts.
• DeviceRepr
  The base struct for a device object.
• InterruptVector
  A vector number (used by the kernel).
• MmioInfo
  Info struct at the base of an mmio sub-object.

Enums

• BusType
  All supported kernel-discovered bus types.
• CacheType
  For MMIO registers, we may need to specify the caching type.
• DeviceType
  Possible high-level device types.
• MailboxPriority
• SubObjectType
  A device will have a number of sub-objects to present enough information and access for a userspace driver to be implemented.

Constants

• MMIO_OFFSET
  An mmio object has, at its base, a MmioInfo struct. At this offset, the mmio mapping actually starts.
• NUM_DEVICE_INTERRUPTS