1 files changed, 0 insertions, 25 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
deleted file mode 100644
index dab36fb5..00000000
--- a/gitlab/issues/target_missing/host_missing/accel_missing/1232.toml
+++ /dev/null
@@ -1,25 +0,0 @@
-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"