KeExitRetpoline

VOID __stdcall KeExitRetpoline(){
  __int16 v0; 
  struct _KPRCB *CurrentPrcb; 
  bool v2; 
  __int16 v3; 

  if( (KiSpeculationFeatures & 0x2000000) != 0 )
  {
    v0 = v3;
    _disable();
    CurrentPrcb = KeGetCurrentPrcb();
    v2 = (v0 & 0x200) != 0;
    CurrentPrcb->BpbRetpolineState |= 1u;
    if( (CurrentPrcb->BpbRetpolineState & 2) == 0 )
      _guard_retpoline_exit();
    if( v2 )
      _enable();
  }
  _mm_lfence();
}

Referenced by:

CcBcbProfiler
FsRtlTruncateSmallMcb
KeUserModeCallback
KiDispatchCallout
KiLockServiceTable
KiSwInterruptDispatch
RtlpComputeEpilogueOffset
sub_1403DBA10
sub_1403DC9A0
sub_1403E9010
sub_1405BC6E0
sub_1405CA010