From 1fc8c9165a4e89cdfcbb30c337aa3f0077aaad43 Mon Sep 17 00:00:00 2001 From: Wei Liu Date: Mon, 8 Feb 2021 14:36:18 +0000 Subject: [PATCH] vmm: drop two unused errors Their last users were gone in af3c6c34c3d. Signed-off-by: Wei Liu --- vmm/src/device_manager.rs | 6 ------ 1 file changed, 6 deletions(-) diff --git a/vmm/src/device_manager.rs b/vmm/src/device_manager.rs index 42c675e33..ba5a6d456 100644 --- a/vmm/src/device_manager.rs +++ b/vmm/src/device_manager.rs @@ -348,15 +348,9 @@ pub enum DeviceManagerError { /// Could not find the node in the device tree. MissingNode, - /// Could not find a MMIO range. - MmioRangeAllocation, - /// Resource was already found. ResourceAlreadyExists, - /// Expected resources for virtio-mmio could not be found. - MissingVirtioMmioResources, - /// Expected resources for virtio-pci could not be found. MissingVirtioPciResources,