Symbol: gicv5_attach
sys/arm64/arm64/gicv5_fdt.c
272
gicv5_attach(dev);
sys/arm64/arm64/gicv5var.h
64
void gicv5_attach(device_t);