Searched refs:bind_evtchn_to_cpu (Results 1 – 1 of 1) sorted by relevance
482 static void bind_evtchn_to_cpu(evtchn_port_t evtchn, unsigned int cpu) in bind_evtchn_to_cpu() function852 bind_evtchn_to_cpu(evtchn, 0); in __startup_pirq()1173 bind_evtchn_to_cpu(evtchn, 0); in bind_evtchn_to_irq_chip()1227 bind_evtchn_to_cpu(evtchn, cpu); in bind_ipi_to_irq()1340 bind_evtchn_to_cpu(evtchn, cpu); in bind_virq_to_irq()1707 bind_evtchn_to_cpu(evtchn, info->cpu); in rebind_evtchn_irq()1743 bind_evtchn_to_cpu(evtchn, tcpu); in xen_rebind_evtchn_to_cpu()1925 bind_evtchn_to_cpu(evtchn, cpu); in restore_cpu_virqs()1950 bind_evtchn_to_cpu(evtchn, cpu); in restore_cpu_ipis()