Lines Matching refs:vcpu_put
4277 vcpu_put(vcpu);4285 vcpu_put(vcpu);4297 vcpu_put(vcpu);4309 vcpu_put(vcpu);4326 vcpu_put(vcpu);4341 vcpu_put(vcpu);4406 vcpu_put(vcpu);4421 vcpu_put(vcpu);4455 vcpu_put(vcpu);5096 vcpu_put(vcpu);5723 vcpu_put(vcpu);