Searched refs:vmmops_vcpu_init (Results 1 – 5 of 5) sorted by relevance
| /freebsd/sys/riscv/vmm/ |
| H A D | vmm_riscv.c | 198 vmmops_vcpu_init(void *vmi, struct vcpu *vcpu1, int vcpuid) in vmmops_vcpu_init() function
|
| H A D | vmm.c | 202 vcpu->cookie = vmmops_vcpu_init(vcpu->vm->cookie, vcpu, vcpu->vcpuid); in vcpu_init()
|
| /freebsd/sys/arm64/vmm/ |
| H A D | vmm_arm64.c | 538 vmmops_vcpu_init(void *vmi, struct vcpu *vcpu1, int vcpuid) in vmmops_vcpu_init() function
|
| H A D | vmm.c | 302 vcpu->cookie = vmmops_vcpu_init(vcpu->vm->cookie, vcpu, vcpu->vcpuid); in vcpu_init()
|
| /freebsd/sys/amd64/vmm/ |
| H A D | vmm.c | 368 vcpu->cookie = vmmops_vcpu_init(vcpu->vm->cookie, vcpu, vcpu->vcpuid); in vcpu_init()
|