[PATCH v5 13/22] KVM: arm64: vgic-its: Check the device id matches TYPER DEVBITS range

[Prakash B]

On Fri, Apr 14, 2017 at 3:45 PM, Eric Auger <eric.auger at redhat.com> wrote:
> 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.
>
> Signed-off-by: Eric Auger <eric.auger at redhat.com>
Tested-by: Prakash, Brahmajyosyula <Brahmajyosyula.Prakash at cavium.com>