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