diff options
Diffstat (limited to 'results/classifier/zero-shot/105/device/2886')
| -rw-r--r-- | results/classifier/zero-shot/105/device/2886 | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/results/classifier/zero-shot/105/device/2886 b/results/classifier/zero-shot/105/device/2886 new file mode 100644 index 00000000..c098a4ea --- /dev/null +++ b/results/classifier/zero-shot/105/device/2886 @@ -0,0 +1,28 @@ +device: 0.809 +instruction: 0.748 +graphic: 0.649 +boot: 0.634 +mistranslation: 0.527 +socket: 0.504 +other: 0.487 +network: 0.453 +vnc: 0.422 +semantic: 0.420 +assembly: 0.252 +KVM: 0.161 + +ACPI MADT advertises GITS even when disabled +Description of problem: +As per the command line given above, QEMU shall emulate a GICv4 without GIC Interrupt Translation Service (GITS). + +The following happens: +- ACPI **incorrectly** lists a GITS (type 0xf) structure in the MADT with GITS MMIO Base = 0x8080000 +- The OS reads that structure and interprets it to mean a GITS is present at the given MMIO address +- Subsequent access to GITS MMIO causes a data abort (0x25) because QEMU doesn't emulate a GITS (as requested) + +The bug is thus that QEMU wrongly advertises GITS as present (via the MADT) when it is in fact absent. +Steps to reproduce: +1. Disable GITS emulation by passing `its=off` on the QEMU command line +2. Check if a GITS structure is listed in the ACPI MADT (must be present in ACPI MADT only if GITS is enabled and absent otherwise) +Additional information: +When booting with `its=on` (default), everything works as expected. |