Searched refs:icp_reset (Results 1 – 4 of 4) sorted by relevance
162 void icp_reset(ICPState *icp);
351 icp_reset(spapr_cpu_state(cpu)->icp); in xics_spapr_cpu_intc_reset()
285 void icp_reset(ICPState *icp) in icp_reset() function
1237 icp_reset(ICP(pnv_cpu->intc)); in pnv_chip_power8_intc_reset()