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