Symbol: gicv3_its_device_map
sys/arch/arm/cortex/gicv3_its.c
666
dev = gicv3_its_device_map(its, devid, *count);
sys/arch/arm/cortex/gicv3_its.c
749
dev = gicv3_its_device_map(its, devid, *count);