From a5b841f18c1ffdf306f48ff6baccf5193d368c0b Mon Sep 17 00:00:00 2001 From: Cédric Le Goater Date: Mon, 25 Nov 2019 07:58:16 +0100 Subject: ppc/xive: Introduce a xive_tctx_ipb_update() helper 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 Message-Id: <20191125065820.927-17-clg@kaod.org> Reviewed-by: Greg Kurz Signed-off-by: David Gibson --- include/hw/ppc/xive.h | 1 + 1 file changed, 1 insertion(+) (limited to 'include/hw/ppc') diff --git a/include/hw/ppc/xive.h b/include/hw/ppc/xive.h index 24315480e7..9c0bf2c301 100644 --- a/include/hw/ppc/xive.h +++ b/include/hw/ppc/xive.h @@ -469,6 +469,7 @@ void xive_tctx_pic_print_info(XiveTCTX *tctx, Monitor *mon); Object *xive_tctx_create(Object *cpu, XiveRouter *xrtr, Error **errp); void xive_tctx_reset(XiveTCTX *tctx); void xive_tctx_destroy(XiveTCTX *tctx); +void xive_tctx_ipb_update(XiveTCTX *tctx, uint8_t ring, uint8_t ipb); /* * KVM XIVE device helpers -- cgit v1.2.3-55-g7522