From mboxrd@z Thu Jan  1 00:00:00 1970
From: peter.maydell@linaro.org (Peter Maydell)
Date: Fri, 9 Nov 2012 14:45:08 +0100
Subject: [kvmarm] [PATCH v3 01/13] KVM: ARM: Introduce
 KVM_SET_DEVICE_ADDRESS ioctl
In-Reply-To: <20121022065122.18672.86203.stgit@ubuntu>
References: <20121022065104.18672.52989.stgit@ubuntu>
 <20121022065122.18672.86203.stgit@ubuntu>
Message-ID: <CAFEAcA8FkmNhiemrLaWLGA8=dToHgnwJdrmOknffgLE18sULBg@mail.gmail.com>
To: linux-arm-kernel@lists.infradead.org
List-Id: linux-arm-kernel.lists.infradead.org

On 22 October 2012 08:51, Christoffer Dall
<c.dall@virtualopensystems.com> wrote:
> +struct kvm_device_address {
> +       __u32 id;
> +       __u64 addr;
> +};

Ben suggested that this should either be a 64 bit id or have explicit
padding. Other than that I think that our current proposed ABI for
ARM irqchips is in line with the discussion we just had at KVM Forum
for handling non-x86 in-kernel irqchips [hopefully somebody will
write the details of that up...]

Ben, do I have that right?

thanks
-- PMM