xen_test_bit
!!xen_test_bit(isrc->xi_port, &s->evtchn_mask[0]),
!!xen_test_bit(isrc->xi_port, &s->evtchn_pending[0]));
!!xen_test_bit(isrc->xi_port, pcpu->evtchn_enabled));