Searched refs:vcpu_debugged (Results 1 – 4 of 4) sorted by relevance
298 int vcpu_debugged(struct vm *vm, int vcpuid);
1338 if (vcpu_debugged(vm, vcpuid)) in vm_handle_hlt()2381 vcpu_debugged(struct vm *vm, int vcpuid) in vcpu_debugged() function
2053 if (vcpu_debugged(vm, vcpu)) { in svm_vmrun()
2927 if (vcpu_debugged(vm, vcpu)) { in vmx_run()