967     WHV_REGISTER_NAME reg_name;  in whpx_vcpu_configure_single_stepping()  local
976     reg_name = WHvX64RegisterRflags;  in whpx_vcpu_configure_single_stepping()
980         &reg_name,  in whpx_vcpu_configure_single_stepping()
1007         &reg_name,  in whpx_vcpu_configure_single_stepping()
1018     reg_name = WHvRegisterInterruptState;  in whpx_vcpu_configure_single_stepping()
1027         &reg_name,  in whpx_vcpu_configure_single_stepping()
1046         reg_name = WHvX64RegisterPendingDebugException;  in whpx_vcpu_configure_single_stepping()
1050             &reg_name,  in whpx_vcpu_configure_single_stepping()
1066                 &reg_name,  in whpx_vcpu_configure_single_stepping()
1412         WHV_REGISTER_NAME reg_name = WHvX64RegisterRip;  in whpx_vcpu_get_pc()  local
1419             &reg_name,  in whpx_vcpu_get_pc()