Re: [Xen-devel] [PATCH v3 13/39] ARM: new VGIC: Add IRQ sync/flush framework

2018-03-27 Thread André Przywara
On 27/03/18 20:20, Stefano Stabellini wrote: > On Tue, 27 Mar 2018, Stefano Stabellini wrote: >> On Tue, 27 Mar 2018, Andre Przywara wrote: >>> Hi, >>> >>> On 26/03/18 22:30, Stefano Stabellini wrote: On Wed, 21 Mar 2018, Andre Przywara wrote: > Implement the framework for syncing IRQs

Re: [Xen-devel] [PATCH v3 13/39] ARM: new VGIC: Add IRQ sync/flush framework

2018-03-27 Thread Stefano Stabellini
On Tue, 27 Mar 2018, Stefano Stabellini wrote: > On Tue, 27 Mar 2018, Andre Przywara wrote: > > Hi, > > > > On 26/03/18 22:30, Stefano Stabellini wrote: > > > On Wed, 21 Mar 2018, Andre Przywara wrote: > > >> Implement the framework for syncing IRQs between our emulation and the > > >> list

Re: [Xen-devel] [PATCH v3 13/39] ARM: new VGIC: Add IRQ sync/flush framework

2018-03-27 Thread Stefano Stabellini
On Tue, 27 Mar 2018, Andre Przywara wrote: > Hi, > > On 26/03/18 22:30, Stefano Stabellini wrote: > > On Wed, 21 Mar 2018, Andre Przywara wrote: > >> Implement the framework for syncing IRQs between our emulation and the > >> list registers, which represent the guest's view of IRQs. > >> This is

Re: [Xen-devel] [PATCH v3 13/39] ARM: new VGIC: Add IRQ sync/flush framework

2018-03-27 Thread Andre Przywara
Hi, On 26/03/18 22:30, Stefano Stabellini wrote: > On Wed, 21 Mar 2018, Andre Przywara wrote: >> Implement the framework for syncing IRQs between our emulation and the >> list registers, which represent the guest's view of IRQs. >> This is done in vgic_sync_from_lrs() and vgic_sync_to_lrs(),

Re: [Xen-devel] [PATCH v3 13/39] ARM: new VGIC: Add IRQ sync/flush framework

2018-03-26 Thread Stefano Stabellini
On Wed, 21 Mar 2018, Andre Przywara wrote: > Implement the framework for syncing IRQs between our emulation and the > list registers, which represent the guest's view of IRQs. > This is done in vgic_sync_from_lrs() and vgic_sync_to_lrs(), which > get called on guest entry and exit, respectively. >

Re: [Xen-devel] [PATCH v3 13/39] ARM: new VGIC: Add IRQ sync/flush framework

2018-03-21 Thread Julien Grall
Hi Andre, On 03/21/2018 04:32 PM, Andre Przywara wrote: Implement the framework for syncing IRQs between our emulation and the list registers, which represent the guest's view of IRQs. This is done in vgic_sync_from_lrs() and vgic_sync_to_lrs(), which get called on guest entry and exit,

[Xen-devel] [PATCH v3 13/39] ARM: new VGIC: Add IRQ sync/flush framework

2018-03-21 Thread Andre Przywara
Implement the framework for syncing IRQs between our emulation and the list registers, which represent the guest's view of IRQs. This is done in vgic_sync_from_lrs() and vgic_sync_to_lrs(), which get called on guest entry and exit, respectively. The code talking to the actual GICv2/v3 hardware is