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