Xen arm32: The cache may not be properly cleaned/invalidated (marc.info)
from tedu to cloudsec on 08 Sep 2023 07:26
https://azorius.net/g/cloudsec/p/8dCMC9Q58t41S3P6mN-Xen-arm32-The-cache-may-not-be-properly-cleanedi

Arm provides multiple helpers to clean & invalidate the cache

for a given region. This is, for instance, used when allocating
guest memory to ensure any writes (such as the ones during scrubbing)
have reached memory before handing over the page to a guest.

Unfortunately, the arithmetics in the helpers can overflow and would

then result to skip the cache cleaning/invalidation. Therefore there
is no guarantee when all the writes will reach the memory.

#cloudsec