tree ec645e76d20929d92a2afee69a025ffda2b3bfa0
parent 087ea21ebad72c0b5563f04370abc3c6cc9ce8ad
author Kristofer Jonsson <kristofer.jonsson@arm.com> 1656408427 +0200
committer Kristofer Jonsson <kristofer.jonsson@arm.com> 1656497392 +0200

Add missing padding to core interface

The padding is important to separate the read- and write indices by
at least one cache line, to prevent cache clean and invalidation to
corrupt data for the remote CPU.

Change-Id: I1d50ac6c63ef4cb3e11b0c293aefaac34ac8eb1f