Searched refs:xive_tctx_reset (Results 1 – 4 of 4) sorted by relevance
533 void xive_tctx_reset(XiveTCTX *tctx);
668 xive_tctx_reset(tctx); in spapr_xive_cpu_intc_reset()
826 void xive_tctx_reset(XiveTCTX *tctx) in xive_tctx_reset() function
1348 xive_tctx_reset(XIVE_TCTX(pnv_cpu->intc)); in pnv_chip_power9_intc_reset()1392 xive_tctx_reset(XIVE_TCTX(pnv_cpu->intc)); in pnv_chip_power10_intc_reset()