Symbol: evtchn_cpu_mask_port
sys/dev/xen/bus/xen_intr.c
213
evtchn_cpu_mask_port(isrc->xi_cpu, isrc->xi_port);
sys/dev/xen/bus/xen_intr.c
682
evtchn_cpu_mask_port(isrc->xi_cpu, isrc->xi_port);
sys/dev/xen/bus/xen_intr.c
695
evtchn_cpu_mask_port(isrc->xi_cpu, isrc->xi_port);