Symbol: vgic_v3_max_cpu_count
sys/arm64/vmm/io/vgic_v3.c
153
static int vgic_v3_max_cpu_count(device_t dev, struct hyp *hyp);
sys/arm64/vmm/io/vgic_v3.c
2336
DEVMETHOD(vgic_max_cpu_count, vgic_v3_max_cpu_count),