d/freebsd-skq
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Use a unique name for the GICv3 ITS vmem

Browse Source 
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
This commit is contained in:
andrew 2020-02-03 13:50:55 +00:00
parent 446484bb95
commit 5652acaf96
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
sys/arm64/arm64/gicv3_its.c
View File

@ -799,7 +799,7 @@ gicv3_its_attach(device_t dev)
* XXX: This assumes there are no other interrupt controllers in the
* system.
*/
sc->sc_irq_alloc = vmem_create("GICv3 ITS IRQs", 0,
sc->sc_irq_alloc = vmem_create(device_get_nameunit(dev), 0,
gicv3_get_nirqs(dev), 1, 0, M_FIRSTFIT | M_WAITOK);
sc->sc_irqs = malloc(sizeof(*sc->sc_irqs) * sc->sc_irq_length,