KiAlignmentFaultShadow

VOID __fastcall KiAlignmentFaultShadow(INT64 a1, INT64 a2, INT64 a3, UINT64 a4){
  unsigned __int64 v4; 
  __int64 v7; 
  _QWORD v8[2]; 
  __int64 v9; 
  __int64 v10; 
  __int64 v11; 
  __int64 v12; 
  if( (v9 & 1) != 0 )
  {
    __swapgs();
    _mm_lfence();
    if( !_bittest(MK_FP(__GS__, 36888i64), 1u) )
      __writecr3((unsigned __int64)v8);
    __writegsqword(0x10u, v4);
    v7 = *((_QWORD *)KeGetPcr() + 7) + 16896i64;
    v12 = *(_QWORD *)(v7 - 8);
    v11 = *(_QWORD *)(v7 - 16);
    v10 = *(_QWORD *)(v7 - 24);
    v9 = *(_QWORD *)(v7 - 32);
    v8[1] = *(_QWORD *)(v7 - 40);
    v8[0] = *(_QWORD *)(v7 - 48);
    __writegsqword(0x10u, 0i64);
    KiAlignmentFault(a1, a2, a3, a4);
  }
  else
  {
    _mm_lfence();
    KiAlignmentFault(a1, a2, a3, a4);
  }
}

Referenced by: