TEST_EVTCHN_BIT
return (!!TEST_EVTCHN_BIT(i, &shared_info.evtchn_mask[0]));
return (!!TEST_EVTCHN_BIT(i, &shared_info.evtchn_pending[0]));
return (TEST_EVTCHN_BIT(i, &shared_info.evtchn_mask[0]) != 0);
return (TEST_EVTCHN_BIT(i, &shared_info.evtchn_pending[0]) != 0);
!TEST_EVTCHN_BIT(irq, &pirq_needs_eoi[0]));
if (TEST_EVTCHN_BIT(pirq, &pirq_needs_eoi[0])) {
if (TEST_EVTCHN_BIT(irq, &pirq_needs_eoi[0])) {