Searched refs:restore_cpu_ipis (Results 1 – 1 of 1) sorted by relevance
1661 static void restore_cpu_ipis(unsigned int cpu) in restore_cpu_ipis() function1775 restore_cpu_ipis(cpu); in xen_irq_resume()