Symbol: GITS_Cache_DEVICE_nGnRnE
sys/arch/arm/cortex/gicv3_its.c
81
[GITS_Cache_DEVICE_nGnRnE] = "Device-nGnRnE",
sys/arch/arm/cortex/gicv3_its.c
905
*innercache = GITS_Cache_DEVICE_nGnRnE;