Searched refs:vcpu_debugged (Results 1 – 4 of 4) sorted by relevance
335 int vcpu_debugged(struct vm *vm, int vcpuid);
1381 if (vcpu_debugged(vm, vcpuid)) in vm_handle_hlt()2437 vcpu_debugged(struct vm *vm, int vcpuid) in vcpu_debugged() function
2080 if (vcpu_debugged(vm, vcpu)) { in svm_run()
3069 if (vcpu_debugged(vm, vcpu)) { in vmx_run()