K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2020-02-03T14:38:19.259108Z
K 7
svn:log
V 268
Remove the GICv3 ITS irq and replace it with an ID

In r357324 most of the use of gi_irq was moved to gi_lpi. Complete this
with the last few places we need the IRQ value and create gi_id for the
per-device value we need.

MFC after:	2 weeks
Sponsored by:	DARPA, AFRL

END