Symbol: evtchn_mask_port
sys/dev/xen/bus/xen_intr.c
209
evtchn_mask_port(isrc->xi_port);
sys/dev/xen/bus/xen_intr.c
642
evtchn_mask_port(isrc->xi_port);
sys/dev/xen/evtchn/evtchn_dev.c
148
evtchn_mask_port(evtchn->port);