diff options
Diffstat (limited to 'gitlab/issues/target_riscv/host_missing/accel_missing/2763.toml')
| -rw-r--r-- | gitlab/issues/target_riscv/host_missing/accel_missing/2763.toml | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/gitlab/issues/target_riscv/host_missing/accel_missing/2763.toml b/gitlab/issues/target_riscv/host_missing/accel_missing/2763.toml deleted file mode 100644 index 29ce6297..00000000 --- a/gitlab/issues/target_riscv/host_missing/accel_missing/2763.toml +++ /dev/null @@ -1,34 +0,0 @@ -id = 2763 -title = "RISC-V APLIC emulation: interrupt pending state of direct-delivery level-triggered interrupts is wrong after masking" -state = "opened" -created_at = "2025-01-05T14:12:33.833Z" -closed_at = "n/a" -labels = ["target: riscv"] -url = "https://gitlab.com/qemu-project/qemu/-/issues/2763" -host-os = "Debian" -host-arch = "x86_64" -qemu-version = "master at 9ee90cfc25747ab25c7da31a50f167fc5122e20e" -guest-os = "n/a" -guest-arch = "riscv64, virt target, `aia=aplic" -description = """According to the APLIC specification, the interrupt pending state of a level-triggered interrupt in direct delivery mode should always match the (rectified) input signal: - -> When an interrupt domain is in direct delivery mode, the pending bit for a level-sensitive source is always just a copy of the rectified input value. - -(From Section 4.7 "Precise effects on interrupt-pending bits" of the specification. See also the more detailed paragraph starting with "If the - source mode is Level1 or Level0 and the interrupt domain is configured in direct delivery mode [...]".) - -However, **this is not true in Qemu's emulation**. In particular, in some situations, **a level-triggered interrupt in direct delivery mode can be raised even though the rectified input signal is off**.""" -reproduce = """1. Set `-machine virt,acpi=off,aia=aplic` to use AIA without IMSIC. -2. Program APLIC to direct delivery. Program some level triggered interrupt (e.g., an interrupt of a PCIe ECAM controller). -4. Wait until the IRQ is raised by a device (i.e., `claimi` returns the IRQ). -5. Mask the interrupt by writing to `clrie`. -6. Clear the interrupt at the device level. -7. The state of Qemu's APLIC registers is now: - ``` - Rectified input = 0 (correct) - Pending = 1 (incorrect) - topi = 0 (correct) - ``` - -Furthermore, if `setie` is written to unmask the IRQ in this situation, the IRQ is raised (in `topi` / `claimi`) despite the signal being off.""" -additional = "n/a" |