Searched refs:event_channel_port (Results 1 – 5 of 5) sorted by relevance
74 uint32_t event_channel_port; member
143 uint32_t event_channel_port; member
123 uint32_t event_channel_port; member
124 notify.event_channel_port = notify_port; in osdep_gnttab_grant_map()276 notify.event_channel_port = notify_port; in osdep_gntshr_share_pages()
160 notify.event_channel_port = notify_port; in osdep_gnttab_grant_map()485 notify.event_channel_port = notify_port; in osdep_gntshr_share_pages()
Completed in 10 milliseconds