Henry Wang 47e65cd341 vmm: AArch64: add methods to get saved vCPU states ...

The construction of `GICR_TYPER` register will need vCPU states.
Therefore this commit adds methods to extract saved vCPU states
from the cpu manager.

Signed-off-by: Henry Wang <Henry.Wang@arm.com>

2020-09-23 12:37:25 +01:00

..

src

vmm: AArch64: add methods to get saved vCPU states

2020-09-23 12:37:25 +01:00

Cargo.toml

acpi: Add hotplug numa node

2020-09-22 13:11:39 +02:00