MASK_XENCONS_IDX   92 drivers/tty/hvc/hvc_xen.c 		intf->out[MASK_XENCONS_IDX(prod++, intf->out)] = data[sent++];
MASK_XENCONS_IDX  144 drivers/tty/hvc/hvc_xen.c 		buf[recv++] = intf->in[MASK_XENCONS_IDX(cons++, intf->in)];