Symbol: gicv5_its_dte_alloc
sys/arm64/arm64/gicv5_its.c
611
gicv5_its_dte_alloc(sc, size);
sys/arm64/arm64/gicv5_its.c
635
gicv5_its_dte_alloc(sc, size);