Searched defs:vcpu1 (Results 1 – 3 of 3) sorted by relevance
| /freebsd-src/sys/arm64/vmm/ | ||
| H A D | vmm_arm64.c | 520 vmmops_vcpu_init(void * vmi,struct vcpu * vcpu1,int vcpuid) vmmops_vcpu_init() argument |
| /freebsd-src/sys/amd64/vmm/amd/ | ||
| H A D | svm.c | 611 svm_vcpu_init(void * vmi,struct vcpu * vcpu1,int vcpuid) svm_vcpu_init() argument |
| /freebsd-src/sys/amd64/vmm/intel/ | ||
| H A D | vmx.c | 1121 vmx_vcpu_init(void * vmi,struct vcpu * vcpu1,int vcpuid) vmx_vcpu_init() argument |