Symbol: vcpu_debugged
sys/amd64/vmm/amd/svm.c
2213
if (vcpu_debugged(vcpu->vcpu)) {
sys/amd64/vmm/intel/vmx.c
3135
if (vcpu_debugged(vcpu->vcpu)) {
sys/amd64/vmm/vmm.c
781
if (vcpu_debugged(vcpu))
sys/arm64/vmm/vmm_arm64.c
1142
if (vcpu_debugged(vcpu)) {
sys/dev/vmm/vmm_vm.h
63
int vcpu_debugged(struct vcpu *vcpu);
sys/riscv/vmm/vmm_riscv.c
658
if (vcpu_debugged(vcpu)) {