Symbol: VMM_ACTIVE
sys/dev/vmm/vmm.c
108
vmm_softc->sc_status = VMM_ACTIVE;
sys/dev/vmm/vmm.c
225
while (vmm_softc->sc_status != VMM_ACTIVE) {
sys/dev/vmm/vmm.c
63
sc->sc_status = VMM_ACTIVE;
sys/dev/vmm/vmm.c
92
KASSERT(vmm_softc->sc_status == VMM_ACTIVE);