Module devices

Device specifications

Constants

MMIO_RANGES

MMIO ranges with format (base_paddr, size).

PCI_BUS_END

End PCI bus number.

PCI_ECAM_BASE

Base physical address of the PCIe ECAM space.

PCI_RANGES

PCI device memory ranges.

TIMER_IRQ

Timer interrupt num.

VIRTIO_MMIO_RANGES

VirtIO MMIO ranges with format (base_paddr, size).