[oshepherd]

IC IVAU instructions are broadcast to all cores in the same 'inner shareable domain' (all cores running the same OS instance are in the same inner shareable domain)

[caf]

That does seem like a good solution to let you do this kind of invalidation in userspace. Thanks.