INVALID_EVTCHN
#define INVALID_EVTCHN (~(evtchn_port_t)0) /* Invalid event channel */
#define INVALID_EVTCHN (-1)