diff --git a/vmm/src/vm.rs b/vmm/src/vm.rs
index d6f6b93e7..4ed3a1f3d 100644
--- a/vmm/src/vm.rs
+++ b/vmm/src/vm.rs
@@ -2516,7 +2516,7 @@ impl Vm {
 
         #[cfg(not(target_arch = "riscv64"))]
         {
-            #[cfg(not(feature = "sev_snp"))]
+            #[cfg(not(any(feature = "sev_snp", feature = "tdx")))]
             assert!(rsdp_addr.is_some());
             // Configure shared state based on loaded kernel
             if let Some(rsdp_adr) = rsdp_addr {