Module devices

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