diff options
Diffstat (limited to 'results/classifier/zero-shot/108/other/1960')
| -rw-r--r-- | results/classifier/zero-shot/108/other/1960 | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/results/classifier/zero-shot/108/other/1960 b/results/classifier/zero-shot/108/other/1960 new file mode 100644 index 000000000..cfa3617b9 --- /dev/null +++ b/results/classifier/zero-shot/108/other/1960 @@ -0,0 +1,37 @@ +device: 0.896 +graphic: 0.664 +files: 0.584 +network: 0.499 +performance: 0.474 +socket: 0.457 +PID: 0.393 +vnc: 0.356 +semantic: 0.316 +boot: 0.289 +debug: 0.239 +permissions: 0.214 +other: 0.139 +KVM: 0.103 + +Invalid pmu interrupt id in arm virt machine device-tree +Description of problem: +commit 9036e917f8357f4e5965ebfecdab5964d40e6a40 changes the definition of PPI interrupt ID, but forgets to modify the PMU device tree. +The following patch can solve this problem: +``` +diff --git a/hw/arm/virt.c b/hw/arm/virt.c +index dd6bb80ce2..1d118974ee 100644 +--- a/hw/arm/virt.c ++++ b/hw/arm/virt.c +@@ -663,7 +663,7 @@ static void fdt_add_pmu_nodes(const VirtMachineState *vms) + qemu_fdt_setprop(ms->fdt, "/pmu", "compatible", + compat, sizeof(compat)); + qemu_fdt_setprop_cells(ms->fdt, "/pmu", "interrupts", +- GIC_FDT_IRQ_TYPE_PPI, VIRTUAL_PMU_IRQ, irqflags); ++ GIC_FDT_IRQ_TYPE_PPI, INTID_TO_PPI(VIRTUAL_PMU_IRQ), irqflags); + } + } +``` +Steps to reproduce: +NA +Additional information: + |