HomeFreeBSD

Use a unique name for the GICv3 ITS vmem

Description

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

Details

Provenance
andrewAuthored on
Parents
rS357444: remove stale gnu/lib/csu directory
Branches
Unknown
Tags
Unknown