vmm: device_manager: Scan memory devices upon GED interrupt

If there is a GED interrupt and the field indicates that the memory
device has changed triggers a scan of the memory devices.

Signed-off-by: Rob Bradford <robert.bradford@intel.com>
This commit is contained in:
Rob Bradford
2020-01-10 16:14:52 +00:00
committed by Samuel Ortiz
parent 284d5e011a
commit 4e414f0d84
2 changed files with 5 additions and 0 deletions

View File

@@ -75,4 +75,5 @@ pub trait Interrupt: Send + Sync {
pub enum HotPlugNotificationType {
NoDevicesChanged,
CPUDevicesChanged,
MemoryDevicesChanged,
}