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