__int64 __fastcall CmpRefreshWorkerRoutine(PVOID BugCheckParameter4, __int64 a2, __int64 a3){
if( *((_QWORD *)BugCheckParameter4 + 4) != a2 || (*((_DWORD *)BugCheckParameter4 + 46) & 0x40000) != 0 )
return 0i64;
CmpFlushNotifiesOnKeyBodyList((__int64)BugCheckParameter4, 8i64, a3, 1);
CmpMarkKeyUnbacked((__int64)BugCheckParameter4, a3);
CmpDiscardKcb((UINT64)BugCheckParameter4, a3);
return 2i64;
}