projects / platform / kernel / linux-exynos.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7333cef) | patch
KVM: arm64: vgic-its: Check the device id matches TYPER DEVBITS range
authorEric Auger <eric.auger@redhat.com>
Thu, 2 Feb 2017 13:37:33 +0000 (14:37 +0100)
committerChristoffer Dall <cdall@linaro.org>
Mon, 8 May 2017 12:35:42 +0000 (14:35 +0200)
commit07a3e9a7b8d2c5b0fa59b281f4480711bea8fa2b
treeab89be86407d99ffcd9e171d4ae412e91468e8c4tree | snapshot
parent7333cefe7b147320debcc64ea41220bdd1dca723commit | diff
KVM: arm64: vgic-its: Check the device id matches TYPER DEVBITS range

On MAPD we currently check the device id can be stored in the device table.
Let's first check it can be encoded within the range defined by TYPER
DEVBITS.

Also check the collection ID belongs to the 16 bit range as GITS_TYPER
CIL field equals to 0.

Signed-off-by: Eric Auger <eric.auger@redhat.com>
Reviewed-by: Christoffer Dall <cdall@linaro.org>
Reviewed-by: Marc Zyngier <marc.zyngier@arm.com>
virt/kvm/arm/vgic/vgic-its.c diff | blob | history
Domain: System / Kernel;