evtchn_ring_entry  175 drivers/xen/evtchn.c 		*evtchn_ring_entry(u, u->ring_prod) = evtchn->port;
evtchn_ring_entry  249 drivers/xen/evtchn.c 	if (copy_to_user(buf, evtchn_ring_entry(u, c), bytes1) ||