I{S,C}ACTIVER implemention question

Hi, Xen community is currently reviewing a new implementation for reading I{S,C}ACTIVER registers (see [1]). The implementation is based on vgic_mmio_read_active() in KVM, i.e the active state of the interrupts is based on the vGIC state stored in memory. While reviewing the patch on xen-de

Re: I{S,C}ACTIVER implemention question

Hi Julien, Thanks for the heads up. On 2020-04-06 14:16, Julien Grall wrote: Hi, Xen community is currently reviewing a new implementation for reading I{S,C}ACTIVER registers (see [1]). The implementation is based on vgic_mmio_read_active() in KVM, i.e the active state of the interrupts is ba

Re: I{S,C}ACTIVER implemention question

On 06/04/2020 16:14, Marc Zyngier wrote: Hi Julien, Hi Marc, Thanks for the heads up. On 2020-04-06 14:16, Julien Grall wrote: Hi, Xen community is currently reviewing a new implementation for reading I{S,C}ACTIVER registers (see [1]). The implementation is based on vgic_mmio_read_act