K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2020-02-03T13:50:55.944223Z
K 7
svn:log
V 226
Use a unique name for the GICv3 ITS vmem

When there are multiple GICv3 ITS devices we don't know which vmem is for
which device. Use device_get_nameunit to get a per-device name.

MFC after:	2 weeks
Sponsored by:	DARPA, AFRL

END