Symbol: xen_test_bit
sys/dev/xen/bus/xen_intr.c
1117
!!xen_test_bit(isrc->xi_port, &s->evtchn_mask[0]),
sys/dev/xen/bus/xen_intr.c
1118
!!xen_test_bit(isrc->xi_port, &s->evtchn_pending[0]));
sys/dev/xen/bus/xen_intr.c
1124
!!xen_test_bit(isrc->xi_port, pcpu->evtchn_enabled));