XENSTORE_RING_IDX   83 include/xen/interface/io/xs_wire.h     XENSTORE_RING_IDX req_cons, req_prod;
XENSTORE_RING_IDX   84 include/xen/interface/io/xs_wire.h     XENSTORE_RING_IDX rsp_cons, rsp_prod;