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
Use a unique name for the GICv3 ITS vmem Tags None Referenced Files None Subscribers None
Description
Details
|