Searched refs:icp_resend (Results 1 – 3 of 3) sorted by relevance
130 void icp_resend(ICPState *icp) in icp_resend() function163 icp_resend(icp); in icp_set_cppr()215 icp_resend(icp); in icp_eoi()
417 icp_resend(spapr_cpu_state(cpu)->icp); in xics_spapr_post_load()
178 void icp_resend(ICPState *ss);