__int64 __fastcall BapdpKsrComplete(unsigned int a1, int a2){
__int64 v2;
__int64 result;
v2 = a2 | a1;
if( (v2 & 0x3000000) != 0 )
return 3221225659i64;
LOBYTE(v2) = (a2 & 4) == 0;
result = KsrCleanupPageDatabase(v2);
if( (int)result >= 0 )
ExSoftRebootFlags &= ~4u;
return result;
}