XENCONS_RING_IDX   19 include/xen/interface/io/console.h     XENCONS_RING_IDX in_cons, in_prod;
XENCONS_RING_IDX   20 include/xen/interface/io/console.h     XENCONS_RING_IDX out_cons, out_prod;