EVTCHN_TYPE_COUNT
static const char *evtchn_type_to_string[EVTCHN_TYPE_COUNT] = {
if (type >= EVTCHN_TYPE_COUNT)