Searched defs:vcpu_vcpuid (Results 1 – 2 of 2) sorted by relevance
| /freebsd/sys/arm64/vmm/ | ||
| H A D | vmm.c | 1466 vcpu_vcpuid(struct vcpu *vcpu) in vcpu_vcpuid() function |
| /freebsd/sys/amd64/vmm/ | ||
| H A D | vmm.c | 2375 vcpu_vcpuid(struct vcpu *vcpu) in vcpu_vcpuid() function |