Symbol: GET_AND_CLEAR
usr/src/uts/i86pc/i86hvm/io/xpv/evtchn.c
250
GET_AND_CLEAR(&vci->evtchn_pending_sel, sels);
usr/src/uts/i86pc/i86hvm/io/xpv/evtchn.c
264
GET_AND_CLEAR(&pending_events[i], tmp);