MiUnlockSystemVa

VOID __stdcall MiUnlockSystemVa(INT64 a1){
  INT64 v1; 
  _MMSUPPORT_INSTANCE *v2; 
  UINT64 v3; 

  v1 = a1 + 24;
  v2 = *(_MMSUPPORT_INSTANCE **)(a1 + 24);
  if( v2 )
  {
    MiUnlockFaultPageTable(a1 + 24);
    LOBYTE(v3) = *(_BYTE *)(v1 + 12);
    if( (*(_BYTE *)(v1 + 13) & 1) != 0 )
      MiUnlockWorkingSetExclusive(v2, v3);
    else
      MiUnlockWorkingSetShared(v2, v3);
    *(_QWORD *)v1 = 0i64;
  }
}

Referenced by: