Change Details

OVMF always uses 0xC0000000 as base address for 32 bit PCI MMIO space. For that reason, we should use that address too.

OVMF always uses 0xC0000000 as base address for 32 bit PCI MMIO space. For that reason, we should use that address too. Note: You can have a look at https://github.com/Beckhoff/freebsd-src/commits/phab/corvink/fixed-bar-32

OVMF always uses 0xC0000000 as base address for 32 bit PCI MMIO space. For that reason, we should use that address too. Note: You can have a look at https://github.com/Beckhoff/freebsd-src/commits/phab/corvink/fixed-bar-32