EVTCHN_RING_MASK
ep->ring[EVTCHN_RING_MASK(ep->ring_prod)] = port;
bytes1 = (EVTCHN_RING_SIZE - EVTCHN_RING_MASK(c)) *
bytes2 = EVTCHN_RING_MASK(p) * sizeof (evtchn_port_t);
if (uiomove(&ep->ring[EVTCHN_RING_MASK(c)], bytes1, UIO_READ, uio) ||