KiNpxNotAvailableFaultShadow

VOID __fastcall __noreturn KiNpxNotAvailableFaultShadow(){
  unsigned __int64 v0; 
  __int64 v3; 
  __int64 v4; 
  __int64 v5; 
  __int64 v6; 
  __int64 v7; 
  __int64 v8; 
  if( (v5 & 1) != 0 )
  {
    __swapgs();
    _mm_lfence();
    if( !_bittest(MK_FP(__GS__, 36888i64), 1u) )
      __writecr3((unsigned __int64)&v4);
    __writegsqword(0x10u, v0);
    v3 = *((_QWORD *)KeGetPcr() + 7) + 16896i64;
    v8 = *(_QWORD *)(v3 - 8);
    v7 = *(_QWORD *)(v3 - 16);
    v6 = *(_QWORD *)(v3 - 24);
    v5 = *(_QWORD *)(v3 - 32);
    v4 = *(_QWORD *)(v3 - 40);
    __writegsqword(0x10u, 0i64);
  }
  else
  {
    _mm_lfence();
  }
  KiNpxNotAvailableFault();
}

Referenced by: