MASK_XENCONS_IDX
intf->out[MASK_XENCONS_IDX(prod++, intf->out)] = data[sent++];
buf[recv++] = intf->in[MASK_XENCONS_IDX(cons++, intf->in)];