INT64 __fastcall PiReleaseDDB(INT64 a1){
VOID *v2;
void *v3;
void *v4;
void *v5;
v2 = *(VOID **)a1;
if( v2 )
SdbReleaseDatabase(v2);
v3 = *(void **)(a1 + 8);
if( v3 )
ZwUnmapViewOfSection((HANDLE)0xFFFFFFFFFFFFFFFFi64, v3);
v4 = *(void **)(a1 + 16);
if( v4 )
ZwClose(v4);
v5 = *(void **)(a1 + 24);
if( v5 )
ZwClose(v5);
return 0i64;
}