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

..

address.rs

source: Fix file permissions

2020-06-10 18:47:27 +01:00

gsi.rs

vmm: Fix AArch64 clippy warnings of vmm and other crates

2020-08-24 10:59:08 +02:00

lib.rs

misc: Remove unnecessary "extern crate"

2021-05-12 17:26:11 +02:00

system.rs

aarch64: Fix IRQ number setting for ACPI

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