vgic_v3_max_cpu_count
static int vgic_v3_max_cpu_count(device_t dev, struct hyp *hyp);
DEVMETHOD(vgic_max_cpu_count, vgic_v3_max_cpu_count),