CmpInvalidateAllHigherLayerKcbsPostCallback

__int64 __fastcall CmpInvalidateAllHigherLayerKcbsPostCallback(PVOID BugCheckParameter4, __int64 a2, __int64 a3){
  CmpInvalidateSubtree((INT64)BugCheckParameter4, *(unsigned int *)(a3 + 4), a2, 0i64);
  if( *(_BYTE *)a3 )
  {
    CmpMarkKeyUnbacked((__int64)BugCheckParameter4, a2);
    CmpFlushNotifiesOnKeyBodyList((__int64)BugCheckParameter4, *(unsigned int *)(a3 + 4), a2, 1);
    CmpDiscardKcb((UINT64)BugCheckParameter4, a2);
  }
  return 0i64;
}

Referenced by: