Definition at line 40 of file evtchn.h.
Definition at line 42 of file evtchn.h.
Definition at line 41 of file evtchn.h.