Module devices

Source
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).