diff --git a/vmm/src/device_manager.rs b/vmm/src/device_manager.rs index 0edf33be6..f493a80bb 100644 --- a/vmm/src/device_manager.rs +++ b/vmm/src/device_manager.rs @@ -3779,6 +3779,10 @@ impl Aml for DeviceManager { start_of_device_area, end_of_device_area, ), + #[cfg(target_arch = "x86_64")] + &aml::AddressSpace::new_io(0u16, 0x0cf7u16), + #[cfg(target_arch = "x86_64")] + &aml::AddressSpace::new_io(0x0d00u16, 0xffffu16), ]), ); pci_dsdt_inner_data.push(&crs);