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