On Tue, 07 Oct 2025 12:26:00 +0200, Lorenzo Pieralisi wrote:

The GIC CDEOI system instruction requires the Rt field to be set to 0b11111
otherwise the instruction behaviour becomes CONSTRAINED UNPREDICTABLE.

Currenly, its usage is encoded as a system register write, with a constant
0 value:

write_sysreg_s(0, GICV5_OP_GIC_CDEOI)

[...]

Applied to arm64 (for-next/fixes), thanks!

[1/1] arm64/sysreg: Fix GIC CDEOI instruction encoding
      https://git.kernel.org/arm64/c/e9ad390a4812

-- 
Catalin