Commits
Bharat Bhushan committed 092146ab099
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>