Symbol: EVTCHN_MASKED
usr/src/uts/i86xpv/os/evtchn.c
1590
ASSERT(EVTCHN_MASKED(evtchn));
usr/src/uts/i86xpv/os/evtchn.c
932
ASSERT(EVTCHN_MASKED(evtchn));