evtchn_ring_offset
return u->ring + evtchn_ring_offset(u, idx);
bytes1 = (u->ring_size - evtchn_ring_offset(u, c)) *
bytes2 = evtchn_ring_offset(u, p) * sizeof(evtchn_port_t);