XENCONS_RING_IDX   82 drivers/tty/hvc/hvc_xen.c 	XENCONS_RING_IDX cons, prod;
XENCONS_RING_IDX  131 drivers/tty/hvc/hvc_xen.c 	XENCONS_RING_IDX cons, prod;
XENCONS_RING_IDX   20 include/xen/interface/io/console.h     XENCONS_RING_IDX in_cons, in_prod;
XENCONS_RING_IDX   21 include/xen/interface/io/console.h     XENCONS_RING_IDX out_cons, out_prod;