PsFreeEnclaveModuleInfo

INT64 __fastcall PsFreeEnclaveModuleInfo(
        _DEVICE_OBJECT *DeviceObject,
        VOID *UniqueIdBuffer,
        UINT64 BufferSize,
        UINT64 Sanitize){
  int v4; 
  PVOID *v6; 
  INT64 result; 
  if( DeviceObject )
  {
    v4 = (int)UniqueIdBuffer;
    if( (_DWORD)UniqueIdBuffer )
    {
      v6 = (PVOID *)((char *)DeviceObject + 16 * (unsigned int)UniqueIdBuffer);
      do
      {
        v6 -= 2;
        ExFreePoolWithTag(*v6, 0);
        --v4;
      }
      while( v4 );
    }
    ExFreePoolWithTag(DeviceObject, 0);
  }
  return result;
}

Referenced by: