XENSTORE_RING_IDX   87 include/xen/interface/io/xs_wire.h     XENSTORE_RING_IDX req_cons, req_prod;
XENSTORE_RING_IDX   88 include/xen/interface/io/xs_wire.h     XENSTORE_RING_IDX rsp_cons, rsp_prod;