Searched refs:vcpu_unlock_one (Results 1 – 1 of 1) sorted by relevance
352 vcpu_unlock_one(vmm_softc_t *sc, int vcpu) in vcpu_unlock_one() function417 vcpu_unlock_one(sc, vcpu); in vmm_write_unlock()1963 vcpu_unlock_one(sc, vcpu); in vmmdev_do_ioctl()2632 vcpu_unlock_one(sc, vcpu); in vmm_destroy_begin()