Expand description
Device specifications
Constantsยง
- IPI_IRQ
 - IPI interrupt num
 - 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).