Searched refs:bind_evtchn_to_cpu (Results 1 – 1 of 1) sorted by relevance
436 static void bind_evtchn_to_cpu(evtchn_port_t evtchn, unsigned int cpu) in bind_evtchn_to_cpu() function797 bind_evtchn_to_cpu(evtchn, 0); in __startup_pirq()1117 bind_evtchn_to_cpu(evtchn, 0); in bind_evtchn_to_irq_chip()1171 bind_evtchn_to_cpu(evtchn, cpu); in bind_ipi_to_irq()1284 bind_evtchn_to_cpu(evtchn, cpu); in bind_virq_to_irq()1649 bind_evtchn_to_cpu(evtchn, info->cpu); in rebind_evtchn_irq()1685 bind_evtchn_to_cpu(evtchn, tcpu); in xen_rebind_evtchn_to_cpu()1833 bind_evtchn_to_cpu(evtchn, cpu); in restore_cpu_virqs()1858 bind_evtchn_to_cpu(evtchn, cpu); in restore_cpu_ipis()
