diff --git a/vmm/src/device_manager.rs b/vmm/src/device_manager.rs
index 63061bbce..e03296406 100644
--- a/vmm/src/device_manager.rs
+++ b/vmm/src/device_manager.rs
@@ -781,6 +781,25 @@ pub struct AcpiPlatformAddresses {
     pub sleep_status_reg_address: Option<GenericAddress>,
 }
 
+#[cfg(all(feature = "mshv", feature = "sev_snp"))]
+struct SevSnpPageAccessProxy {
+    vm: Arc<dyn hypervisor::Vm>,
+}
+
+#[cfg(all(feature = "mshv", feature = "sev_snp"))]
+impl std::fmt::Debug for SevSnpPageAccessProxy {
+    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
+        write!(f, "SNP Page access proxy")
+    }
+}
+
+#[cfg(all(feature = "mshv", feature = "sev_snp"))]
+impl SevSnpPageAccessProxy {
+    fn new(vm: Arc<dyn hypervisor::Vm>) -> SevSnpPageAccessProxy {
+        SevSnpPageAccessProxy { vm }
+    }
+}
+
 pub struct DeviceManager {
     // Manage address space related to devices
     address_manager: Arc<AddressManager>,