| commit | 07a3e9a7b8d2c5b0fa59b281f4480711bea8fa2b | [log] [tgz] |
|---|---|---|
| author | Eric Auger <eric.auger@redhat.com> | Thu Feb 02 14:37:33 2017 +0100 |
| committer | Christoffer Dall <cdall@linaro.org> | Mon May 08 14:35:42 2017 +0200 |
| tree | ab89be86407d99ffcd9e171d4ae412e91468e8c4 | |
| parent | 7333cefe7b147320debcc64ea41220bdd1dca723 [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>