Fix issues with vGIC LR management - #334

Open

josecm wants to merge 9 commits into

bao-project:mainfrom

josecm:fix/vgic_misc

Commits on Aug 31, 2026

fix(vgic): keep active interrupts in LRs when guest disables them
josecm
committed
9fb5451
fix(vgic): remove spilled interrupt from list on LRENP maintenance
josecm
committed
139b8ee
fix(vgic): track unrouted interrupts in spilled list
josecm
committed
8a3c37b
fix(vgic): remove interrupt from spilled list when placed in LR
josecm
committed
4b82356
fix(vgic): skip IPI forwarding for active interrupts in vgic_route()
josecm
committed
06d5384
fix(vgic): do not write PEND to LRs of disabled interrupts
josecm
committed
d049698
fix(vgic): fall back to active LR when no pending can be spilled
josecm
committed
aa930bd
fix(vgic): do not track forwarded interrupts in spilled list
josecm
committed
5259930
fix(vgic): make spilled list walkers lock in canonical order
josecm
committed
430410b