diff options
Diffstat (limited to 'results/classifier/deepseek-2-tmp/output/peripherals/1232')
| -rw-r--r-- | results/classifier/deepseek-2-tmp/output/peripherals/1232 | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/results/classifier/deepseek-2-tmp/output/peripherals/1232 b/results/classifier/deepseek-2-tmp/output/peripherals/1232 deleted file mode 100644 index 887b2b5c..00000000 --- a/results/classifier/deepseek-2-tmp/output/peripherals/1232 +++ /dev/null @@ -1,14 +0,0 @@ - -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. |