PiCMReleaseObjectInputData

INT64 __fastcall PiCMReleaseObjectInputData(INT64 a1){
  void *v1; 
  v1 = *(void **)(a1 + 16);
  if( v1 )
    PiControlFreeUserModeCallersBuffer(*((_BYTE *)KeGetCurrentThread() + 562), v1);
  return 0i64;
}

Referenced by: