INVALID_EVTCHN
_Static_assert(!is_valid_evtchn(INVALID_EVTCHN),
INVALID_EVTCHN;
pdev->evtchn = INVALID_EVTCHN;
if (pdev->evtchn != INVALID_EVTCHN)