fix(armv8/vgic): correct addressing of forwarded register writes - #394

Open

josecm wants to merge 5 commits into

bao-project:mainfrom

josecm:fix/vgic-set-reg-vgicr-id

Commits on Aug 20, 2026

ref(armv8/vgic): pack vgic ipi messages in a bitfield union
josecm
committed
5749423
fix(armv8/vgic): carry the redistributor id in forwarded register writes
josecm
committed
b126ef8

Commits on Aug 21, 2026

fix(armv8/vgic): update the route at the emulation site
josecm
committed
bd04a39
fix(armv8/vgic): return the full 64-bit route on irouter reads
josecm
committed
bae2acf

Commits on Aug 31, 2026

fix(armv8/vgic): pin private interrupt ownership to its vcpu
josecm
committed
54a6eb4