Rob Bradford 3dc15a9259 vmm: tdx: Don't access same locked structure twice ... Signed-off-by: Rob Bradford <robert.bradford@intel.com>		2021-06-03 17:29:05 +02:00
..
api	vmm: Enhance boot with info!() level messages	2021-05-18 20:45:38 +02:00
acpi.rs	misc: Upgrade to use the vm-memory crate w/ dirty-page-tracking	2021-06-03 08:34:45 +01:00
config.rs	vmm: tdx: Reject attempt to use --kernel with --tdx	2021-05-10 15:12:41 +01:00
cpu.rs	misc: Upgrade to use the vm-memory crate w/ dirty-page-tracking	2021-06-03 08:34:45 +01:00
device_manager.rs	misc: Upgrade to use the vm-memory crate w/ dirty-page-tracking	2021-06-03 08:34:45 +01:00
device_tree.rs	vmm: device_manager: Use DeviceTree to store PCI devices	2021-03-18 15:26:25 +01:00
interrupt.rs	aarch64: Fix IRQ number setting for ACPI	2021-05-25 10:20:37 +02:00
lib.rs	misc: Upgrade to use the vm-memory crate w/ dirty-page-tracking	2021-06-03 08:34:45 +01:00
memory_manager.rs	vmm: Add dirty pages tracked by vm_memory::bitmap to live migration	2021-06-03 08:34:45 +01:00
migration.rs	vmm: Simplify snapshot/restore path handling	2021-03-12 13:03:01 +01:00
seccomp_filters.rs	vmm: Update the http thread's seccomp filter	2021-04-29 09:44:40 +01:00
vm.rs	vmm: tdx: Don't access same locked structure twice	2021-06-03 17:29:05 +02:00