df38b76405
With VIPT L2 cache such syncing not only is redundant, but also a performance penalty. Pointed out by: cognet