evtchn_ring_entry
*evtchn_ring_entry(u, prod) = evtchn->port;
if (copy_to_user(buf, evtchn_ring_entry(u, c), bytes1) ||