The WriteEvictFull CHI opcode definition states the following
"Write-back of UniqueClean data to the next-level cache."..
If the line is already in UniqueClean state, why is a write-back of that line required?
Got it. Thanks.