Re: [PATCH v6 16/20] ppc/xive: Introduce a xive_tctx_ipb_update() helper

2019-11-27 Thread David Gibson
On Wed, Nov 27, 2019 at 09:50:50AM +0100, Greg Kurz wrote: 65;5802;1c> On Mon, 25 Nov 2019 07:58:16 +0100 > Cédric Le Goater wrote: > > > We will use it to resend missed interrupts when a vCPU context is > > pushed on a HW thread. > > > > Signed-off-by: Cédric Le Goater > > --- > > include/hw/

Re: [PATCH v6 16/20] ppc/xive: Introduce a xive_tctx_ipb_update() helper

2019-11-27 Thread Greg Kurz
On Mon, 25 Nov 2019 07:58:16 +0100 Cédric Le Goater wrote: > We will use it to resend missed interrupts when a vCPU context is > pushed on a HW thread. > > Signed-off-by: Cédric Le Goater > --- > include/hw/ppc/xive.h | 1 + > hw/intc/xive.c| 21 +++-- > 2 files change

[PATCH v6 16/20] ppc/xive: Introduce a xive_tctx_ipb_update() helper

2019-11-24 Thread Cédric Le Goater
We will use it to resend missed interrupts when a vCPU context is pushed on a HW thread. Signed-off-by: Cédric Le Goater --- include/hw/ppc/xive.h | 1 + hw/intc/xive.c| 21 +++-- 2 files changed, 12 insertions(+), 10 deletions(-) diff --git a/include/hw/ppc/xive.h b/in