cloud-hypervisor/devices
Michael Zhao ff46fb69d0 aarch64: Fix IRQ number setting for ACPI
On FDT, VMM can allocate IRQ from 0 for devices.
But on ACPI, the lowest range below 32 has to be avoided.

Signed-off-by: Michael Zhao <michael.zhao@arm.com>
2021-05-25 10:20:37 +02:00
..
src aarch64: Fix IRQ number setting for ACPI 2021-05-25 10:20:37 +02:00
Cargo.toml aarch64: Fix IRQ number setting for ACPI 2021-05-25 10:20:37 +02:00