Bharat Bhushan 092146ab09 virt/vgic: Increase number of DeviceIDs to 17 ...

FSL-MC bus devices uses device-ids from 0x10000 to 0x20000.
So to support MSI interrupts for mc-bus devices we need
vgi-ITS device-id table of size 2^17 to support deviceid
range from 0x10000 to 0x20000.

Signed-off-by: Bharat Bhushan <Bharat.Bhushan@nxp.com>

2019-11-25 15:43:45 +08:00

..

kvm

virt/vgic: Increase number of DeviceIDs to 17

2019-11-25 15:43:45 +08:00

lib

treewide: Replace GPLv2 boilerplate/reference with SPDX - rule 500

2019-06-19 17:09:55 +02:00

Makefile

treewide: Add SPDX license identifier - Makefile/Kconfig

2019-05-21 10:50:46 +02:00