Merge pull request #411 from ozbenh/dcache-plru-update-fix
authorPaul Mackerras <paulus@ozlabs.org>
Fri, 7 Oct 2022 07:27:13 +0000 (18:27 +1100)
committerGitHub <noreply@github.com>
Fri, 7 Oct 2022 07:27:13 +0000 (18:27 +1100)
Dcache PLRU update fix


Trivial merge