Michael Zhao 7f3fa39d81 vmm: Remove enable_interrupt_controller() ...

After adding "get_interrupt_controller()" function in DeviceManager,
"enable_interrupt_controller()" became redundant, because the latter
one is the a simple wrapper on the interrupt controller.

Signed-off-by: Michael Zhao <michael.zhao@arm.com>

2021-06-01 16:56:43 +01:00

..

api

vmm: Enhance boot with info!() level messages

2021-05-18 20:45:38 +02:00

acpi.rs

acpi: AArch64: Enable PSCI in FADT

2021-05-25 10:20:37 +02:00

config.rs

vmm: tdx: Reject attempt to use --kernel with --tdx

2021-05-10 15:12:41 +01:00

cpu.rs

acpi: Enable DSDT for CpuManager on AArch64

2021-05-25 10:20:37 +02:00

device_manager.rs

vmm: Remove enable_interrupt_controller()

2021-06-01 16:56:43 +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

vmm: support restore KVM clock in migration

2021-05-20 14:32:49 +01:00

memory_manager.rs

vmm: Version MemoryManager state

2021-05-21 15:29:52 +02: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: Remove enable_interrupt_controller()

2021-06-01 16:56:43 +01:00