Searched refs:vcpu1 (Results 1 – 2 of 2) sorted by relevance
611 svm_vcpu_init(void *vmi, struct vcpu *vcpu1, int vcpuid) in svm_vcpu_init() argument618 vcpu->vcpu = vcpu1; in svm_vcpu_init()
1121 vmx_vcpu_init(void *vmi, struct vcpu *vcpu1, int vcpuid) in vmx_vcpu_init() argument1134 vcpu->vcpu = vcpu1; in vmx_vcpu_init()