Searched refs:WHPX_STEP_NONE (Results 1 – 1 of 1) sorted by relevance
227 WHPX_STEP_NONE = 0, enumerator1647 WhpxStepMode exclusive_step_mode = WHPX_STEP_NONE; in whpx_vcpu_run()1679 if (exclusive_step_mode == WHPX_STEP_NONE) { in whpx_vcpu_run()1690 if (exclusive_step_mode != WHPX_STEP_NONE) { in whpx_vcpu_run()1722 if (exclusive_step_mode == WHPX_STEP_NONE) { in whpx_vcpu_run()1730 if (exclusive_step_mode != WHPX_STEP_NONE || cpu->singlestep_enabled) { in whpx_vcpu_run()1745 if (exclusive_step_mode != WHPX_STEP_NONE || cpu->singlestep_enabled) { in whpx_vcpu_run()1876 if (exclusive_step_mode != WHPX_STEP_NONE) { in whpx_vcpu_run()2043 if (exclusive_step_mode != WHPX_STEP_NONE) { in whpx_vcpu_run()2048 exclusive_step_mode = WHPX_STEP_NONE; in whpx_vcpu_run()