Searched refs:vcpu_debugged (Results 1 – 4 of 4) sorted by relevance
299 int vcpu_debugged(struct vm *vm, int vcpuid);
1338 if (vcpu_debugged(vm, vcpuid)) in vm_handle_hlt()2394 vcpu_debugged(struct vm *vm, int vcpuid) in vcpu_debugged() function
2050 if (vcpu_debugged(vm, vcpu)) { in svm_vmrun()
3073 if (vcpu_debugged(vm, vcpu)) { in vmx_run()