MiUnlockFaultPageTable

VOID __fastcall MiUnlockFaultPageTable(INT64 a1){
  UINT64 v1; 
  INT64 v2; 
  v1 = *(_QWORD *)(a1 + 16);
  v2 = *(_QWORD *)a1;
  if( v1 )
  {
    if( *(_WORD *)(a1 + 10) )
    {
      MiEmptyDeferredWorkingSetEntries(a1);
      v1 = *(_QWORD *)(a1 + 16);
    }
    MiUnlockPageTableInternal(v2, v1);
    *(_BYTE *)(a1 + 13) |= 2u;
    *(_QWORD *)(a1 + 16) = 0i64;
  }
}

Referenced by: