1 files changed, 25 insertions, 0 deletions

diff --git a/gitlab/issues/target_missing/host_missing/accel_missing/1232.toml b/gitlab/issues/target_missing/host_missing/accel_missing/1232.toml
new file mode 100644
index 00000000..dab36fb5
--- /dev/null
+++ b/gitlab/issues/target_missing/host_missing/accel_missing/1232.toml
@@ -0,0 +1,25 @@
+id = 1232
+title = "AArch64 virt can't write to memory related to gicv3"
+state = "closed"
+created_at = "2022-09-29T04:38:14.777Z"
+closed_at = "2022-09-30T04:19:51.945Z"
+labels = []
+url = "https://gitlab.com/qemu-project/qemu/-/issues/1232"
+host-os = "Ubuntu 18.04"
+host-arch = "x86-64"
+qemu-version = "7.1.50 (v7.1.0-256-g79dfa177ae)"
+guest-os = "bare-metal"
+guest-arch = "aarch64"
+description = """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."""
+reproduce = "n/a"
+additional = "n/a"