Minor bug fix for Virtio/Xen support


The following changes since commit 462ad017ed76889d46696a3581e1b52343f9b683:

  Merge tag 'xen-virtio-fix-1-tag' of https://gitlab.com/marcandre.lureau/qemu into staging (2023-11-07 19:00:03 +0800)

are available in the Git repository at:

  https://gitlab.com/sstabellini/qemu.git 

for you to fetch changes up to 01bb72afbb95003fb5562e341a592f583e27e280:

  Xen: Fix xen_set_irq() and xendevicemodel_set_irq_level() (2023-11-07 13:03:19 -0800)

----------------------------------------------------------------
Vikram Garhwal (1):
      Xen: Fix xen_set_irq() and xendevicemodel_set_irq_level()

 hw/arm/xen_arm.c            | 4 +++-
 include/hw/xen/xen_native.h | 4 ++--
 2 files changed, 5 insertions(+), 3 deletions(-)

Applied, thanks.

Please update the changelog at https://wiki.qemu.org/ChangeLog/8.2 for any user-visible changes.

Hi Stefano,
I merged this, but please renew your GPG key and use the standard pull
request format where the git ref is included after the repo URL in the
future so that tooling is able to process your pull request:

  are available in the Git repository at:

    https://gitlab.com/sstabellini/qemu.git tags/xen-virtio-fix-1-tag

Thanks,
Stefan

On Wed, 8 Nov 2023 at 05:14, Stefano Stabellini <sstabellini@kernel.org> wrote:
>
> Minor bug fix for Virtio/Xen support
>
>
> The following changes since commit 462ad017ed76889d46696a3581e1b52343f9b683:
>
>   Merge tag 'xen-virtio-fix-1-tag' of https://gitlab.com/marcandre.lureau/qemu into staging (2023-11-07 19:00:03 +0800)
>
> are available in the Git repository at:
>
>   https://gitlab.com/sstabellini/qemu.git

What is the git ref that I should fetch? xen-virtio-fix-1-tag?

The gpg key that signed that tag has expired:

gpg: Signature made Wed 08 Nov 2023 05:08:23 HKT
gpg:                using RSA key D04E33ABA51F67BA07D30AEA894F8F4870E1AE90
gpg: Good signature from "Stefano Stabellini <sstabellini@kernel.org>" [expired]
gpg:                 aka "Stefano Stabellini
<stefano.stabellini@eu.citrix.com>" [expired]
gpg: Note: This key has expired!
Primary key fingerprint: D04E 33AB A51F 67BA 07D3  0AEA 894F 8F48 70E1 AE90
Does not appear to be a signed tag

Stefan

> for you to fetch changes up to 01bb72afbb95003fb5562e341a592f583e27e280:
>
>   Xen: Fix xen_set_irq() and xendevicemodel_set_irq_level() (2023-11-07 13:03:19 -0800)
>
> ----------------------------------------------------------------
> Vikram Garhwal (1):
>       Xen: Fix xen_set_irq() and xendevicemodel_set_irq_level()
>
>  hw/arm/xen_arm.c            | 4 +++-
>  include/hw/xen/xen_native.h | 4 ++--
>  2 files changed, 5 insertions(+), 3 deletions(-)
>