Definition at line 60 of file evtchn.h.
Definition at line 62 of file evtchn.h.
Definition at line 61 of file evtchn.h.