MiReleaseFaultSynchronization

VOID __stdcall MiReleaseFaultSynchronization(INT64 a1){
  INT64 v2; 
  INT64 v3[17]; 

  if( (*(_DWORD *)(a1 + 80) & 0x10) != 0 )
  {
    memset(v3, 0i64, 0x80u);
    v2 = *(_QWORD *)(a1 + 72);
    *(_OWORD *)&v3[3] = *(_OWORD *)(a1 + 56);
    v3[5] = v2;
    MiUnlockSystemVa((INT64)v3);
    *(_DWORD *)(a1 + 80) &= ~0x10u;
  }
  else
  {
    MiReleaseFaultState(a1 + 56, 0x11u, 0i64);
  }
}

Referenced by: