diff options
Diffstat (limited to 'results/classifier/105/device/1232')
| -rw-r--r-- | results/classifier/105/device/1232 | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/results/classifier/105/device/1232 b/results/classifier/105/device/1232 new file mode 100644 index 00000000..2524c588 --- /dev/null +++ b/results/classifier/105/device/1232 @@ -0,0 +1,26 @@ +device: 0.861 +graphic: 0.796 +instruction: 0.778 +assembly: 0.730 +mistranslation: 0.687 +vnc: 0.616 +semantic: 0.563 +other: 0.557 +network: 0.409 +socket: 0.340 +boot: 0.284 +KVM: 0.231 + +AArch64 virt can't write to memory related to gicv3 +Description of problem: +According to the info in generated dtb, the memory-mapped registers of gicv3-distributor have a base addr, which is `0x0800_0000`. +And I have checked the validity by reading `gicd_typer`, which means the base addr is right. + +But when I want to configure the gicv3-distributor (like changing `gicd_ctlr`), the value is not changed, keeping the default value. The same thing happens on any register of GICD in my machine. + +**Even I write to this memory by gdb `set` command, the value is also unchangeable.** + +The addr of `gicd_ctlr` should be `0x0800_0000`(offset=0), which should be readable and writable, isn't it? + +I try to modify the value of this addr in assembly as soon as the **machine starts, without enabling MMU**. +This problem should be easier to reproduce. |