andrew 4f89429eca 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
2020-02-03 14:38:19 +00:00
..
2020-02-02 08:27:14 +00:00
2020-01-29 00:28:50 +00:00
2020-02-02 16:34:57 +00:00
2020-01-10 22:49:14 +00:00
2020-02-02 20:56:18 +00:00
2020-01-29 12:10:42 +00:00
2020-02-02 14:41:09 +00:00
2020-02-03 02:02:13 +00:00
2020-01-31 02:23:48 +00:00
2020-02-02 16:34:57 +00:00