Lines Matching refs:vcpu_put
6302 vcpu_put(vcpu);
11447 vcpu_put(vcpu);
11491 vcpu_put(vcpu);
11532 vcpu_put(vcpu);
11604 vcpu_put(vcpu);
11632 vcpu_put(vcpu);
11680 vcpu_put(vcpu);
11871 vcpu_put(vcpu);
11953 vcpu_put(vcpu);
11977 vcpu_put(vcpu);
12000 vcpu_put(vcpu);
12024 vcpu_put(vcpu);
12166 vcpu_put(vcpu);
12194 vcpu_put(vcpu);
12598 vcpu_put(vcpu);