Symbol: evtchn_test_and_set_mask
sys/dev/xen/bus/xen_intr.c
674
masked = evtchn_test_and_set_mask(isrc->xi_port);
sys/dev/xen/bus/xen_intr.c
730
isrc->xi_masked = !!evtchn_test_and_set_mask(isrc->xi_port);