KiNpxNotAvailableFaultShadow

VOID __stdcall __noreturn KiNpxNotAvailableFaultShadow(){
  unsigned __int64 v0; 
  _KIDTENTRY64 *v3; 
  __int64 v4; 
  _KIDTENTRY64 v5; 
  _KIDTENTRY64 v6; 

  if( (v5.OffsetLow & 1) != 0 )
  {
    __swapgs();
    _mm_lfence();
    if( !_bittest(MK_FP(__GS__, 36888i64), 1u) )
      __writecr3((unsigned __int64)&v4);
    __writegsqword(0x10u, v0);
    v3 = KeGetPcr()->IdtBase + 1056;
    v6 = v3[-1];
    v5 = v3[-2];
    v4 = *(&v3[-3].Alignment + 1);
    __writegsqword(0x10u, 0i64);
  }
  else
  {
    _mm_lfence();
  }
  KiNpxNotAvailableFault();
}

Referenced by: