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> |
||
|---|---|---|
| .. | ||
| address.rs | ||
| gsi.rs | ||
| lib.rs | ||
| system.rs | ||
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> |
||
|---|---|---|
| .. | ||
| address.rs | ||
| gsi.rs | ||
| lib.rs | ||
| system.rs | ||