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