__int64 __fastcall PiCMReleaseRegistryInputData(__int64 a1){ void *v1; v1 = *(void **)(a1 + 16); if( v1 ) PiControlFreeUserModeCallersBuffer(KeGetCurrentThread()->PreviousMode, v1); return 0i64; }