On Sat, 9 Apr 2022 at 21:10, Richard Henderson <richard.hender...@linaro.org> wrote: > It it really valid to write to vpendbaser with other than a 64-bit write? I > suppose it's > possible to order the 32-bit writes to make sure the update to valid comes > last...
Yes, that's valid. The GICv3 spec states specifically when registers are 64-bit only (see for instance GITS_SGIR). As you say, you can write the bottom half first and the top half with the valid bit second. thanks -- PMM