restructure results

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.