Searched refs:vcpu1 (Results 1 – 4 of 4) sorted by relevance
198 vmmops_vcpu_init(void *vmi, struct vcpu *vcpu1, int vcpuid) in vmmops_vcpu_init() argument215 hypctx->vcpu = vcpu1; in vmmops_vcpu_init()
538 vmmops_vcpu_init(void *vmi, struct vcpu *vcpu1, int vcpuid) in vmmops_vcpu_init() argument552 hypctx->vcpu = vcpu1; in vmmops_vcpu_init()
619 svm_vcpu_init(void *vmi, struct vcpu *vcpu1, int vcpuid) in svm_vcpu_init() argument626 vcpu->vcpu = vcpu1; in svm_vcpu_init()
1132 vmx_vcpu_init(void *vmi, struct vcpu *vcpu1, int vcpuid) in vmx_vcpu_init() argument1145 vcpu->vcpu = vcpu1; in vmx_vcpu_init()