Searched refs:event_channel_port (Results 1 – 2 of 2) sorted by relevance
122 uint32_t event_channel_port; member
221 uint32_t event_channel_port; member859 if (xen_intr_get_evtchn_from_port(source->event_channel_port, in copy_notify_helper()867 destination->event_channel_port = source->event_channel_port; in copy_notify_helper()