PiCMReleaseRegistryPropertyInputData

INT64 __fastcall PiCMReleaseRegistryPropertyInputData(INT64 a1){
  _ETHREAD *CurrentThread; 
  void *v3; 
  INT8 v4; 
  void *v5; 
  CurrentThread = (_ETHREAD *)KeGetCurrentThread();
  v3 = *(void **)(a1 + 16);
  v4 = *((_BYTE *)CurrentThread + 562);
  if( v3 )
    PiControlFreeUserModeCallersBuffer(*((_BYTE *)CurrentThread + 562), v3);
  v5 = *(void **)(a1 + 40);
  if( v5 )
    PiControlFreeUserModeCallersBuffer(v4, v5);
  return 0i64;
}

Referenced by: