tree 16fce7bc6bf0b404843237a72040f69dd658ed3a
parent ab01c6bdacc43c41c6b326889f4358f5afc38bf9
author Eric Auger <eric.auger@redhat.com> 1482426854 +0100
committer Christoffer Dall <cdall@linaro.org> 1494246930 +0200

KVM: arm64: vgic-its: Interpret MAPD Size field and check related errors

Up to now the MAPD's ITT size field has been ignored. It encodes
the number of eventid bit minus 1. It should be used to check
the eventid when a MAPTI command is issued on a device. Let's
store the number of eventid bits in the its_device and do the
check on MAPTI. Also make sure the ITT size field does
not exceed the GITS_TYPER IDBITS field.

Signed-off-by: Eric Auger <eric.auger@redhat.com>
Reviewed-by: Christoffer Dall <cdall@linaro.org>
Reviewed-by: Marc Zyngier <marc.zyngier@arm.com>