Searched refs:evtchn_cpu_mask_port (Results 1 – 1 of 1) sorted by relevance
217 evtchn_cpu_mask_port(u_int cpu, evtchn_port_t port) in evtchn_cpu_mask_port() function361 evtchn_cpu_mask_port(isrc->xi_cpu, isrc->xi_port); in xen_intr_release_isrc()929 evtchn_cpu_mask_port(isrc->xi_cpu, isrc->xi_port); in xen_intr_assign_cpu()942 evtchn_cpu_mask_port(isrc->xi_cpu, isrc->xi_port); in xen_intr_assign_cpu()