Searched refs:nr_rvi_cpus (Results 1 – 2 of 2) sorted by relevance
313 uint32_t nr_rvi_cpus; /* [I] */ member
278 sc->sc_md.nr_rvi_cpus = 0; in vmm_attach_machdep()284 sc->sc_md.nr_rvi_cpus++; in vmm_attach_machdep()296 } else if (sc->sc_md.nr_rvi_cpus) { in vmm_attach_machdep()