Bugzilla – Attachment 875856 Details for Bug 1227355
VUL-0: CVE-2024-31143: xen: double unlock in x86 guest IRQ handling (XSA-458)