VOID __stdcall KsepSdbBootRelease(INT64 a1){
void *v2;
VOID *v3;
v2 = *(void **)a1;
if( v2 )
{
SdbReleaseDatabase(v2);
*(_QWORD *)a1 = 0i64;
}
v3 = *(VOID **)(a1 + 8);
if( v3 )
{
KsepPoolFreePaged(v3);
*(_QWORD *)(a1 + 8) = 0i64;
}
}