vmm: acpi: Create ACPI tables for TDX

The way to create ACPI tables for TDX is different as each table must be
passed through the HOB. This means the XSDT table is not required since
the firmware will take care of creating it. Same for RSDP, this is
firmware responsibility to provide it to the guest.

That's why this patch creates a TDX dedicated function, returning a list
of Sdt objects, which will let the calling code copy the content of each
table through the HOB.

Signed-off-by: Sebastien Boeuf <sebastien.boeuf@intel.com>

vmm/src/acpi.rs

@@ -776,3 +776,48 @@ pub fn create_acpi_tables(
     );
     rsdp_offset
 }
+
+#[cfg(feature = "tdx")]
+#[allow(unused)]
+pub fn create_acpi_tables_tdx(
+    device_manager: &Arc<Mutex<DeviceManager>>,
+    cpu_manager: &Arc<Mutex<CpuManager>>,
+    memory_manager: &Arc<Mutex<MemoryManager>>,
+    numa_nodes: &NumaNodes,
+) -> Vec<Sdt> {
+    // DSDT
+    let mut tables = vec![create_dsdt_table(
+        device_manager,
+        cpu_manager,
+        memory_manager,
+    )];
+
+    // FACP aka FADT
+    tables.push(create_facp_table(GuestAddress(0)));
+
+    // MADT
+    tables.push(cpu_manager.lock().unwrap().create_madt());
+
+    // MCFG
+    tables.push(create_mcfg_table(
+        device_manager.lock().unwrap().pci_segments(),
+    ));
+
+    // SRAT and SLIT
+    // Only created if the NUMA nodes list is not empty.
+    if !numa_nodes.is_empty() {
+        // SRAT
+        tables.push(create_srat_table(numa_nodes));
+
+        // SLIT
+        tables.push(create_slit_table(numa_nodes));
+    };
+
+    // VIOT
+    if let Some((iommu_bdf, devices_bdf)) = device_manager.lock().unwrap().iommu_attached_devices()
+    {
+        tables.push(create_viot_table(iommu_bdf, devices_bdf));
+    }
+
+    tables
+}