Expand description
Device specifications
Constants§
- MMIO_
REGIONS - MMIO regions with format (
base_paddr
,size
). - PCI_
BUS_ END - End PCI bus number.
- PCI_
ECAM_ BASE - Base physical address of the PCIe ECAM space (should read from ACPI ‘MCFG’ table).
- PCI_
RANGES - PCI device memory ranges (not used on x86).
- TIMER_
FREQUENCY - Timer interrupt frequencyin Hz. (4.0GHz)
- VIRTIO_
MMIO_ REGIONS - VirtIO MMIO regions with format (
base_paddr
,size
).