evtchn_ring_offset  104 drivers/xen/evtchn.c 	return u->ring + evtchn_ring_offset(u, idx);
evtchn_ring_offset  231 drivers/xen/evtchn.c 		bytes1 = (u->ring_size - evtchn_ring_offset(u, c)) *
evtchn_ring_offset  233 drivers/xen/evtchn.c 		bytes2 = evtchn_ring_offset(u, p) * sizeof(evtchn_port_t);