Symbol: vgic_max_cpu_count
sys/arm64/vmm/io/vgic.h
45
int vgic_max_cpu_count(struct hyp *hyp);
sys/arm64/vmm/io/vgic_v3.c
1471
if (vcpu_vcpuid(hypctx->vcpu) == (vgic_max_cpu_count(hypctx->hyp) - 1))
sys/arm64/vmm/io/vgic_v3.c
2344
DEVMETHOD(vgic_max_cpu_count, vgic_v3_max_cpu_count),
sys/arm64/vmm/vmm.c
301
if (vcpuid >= vgic_max_cpu_count(vm->cookie)) {