XENSTORE_RING_IDX
XENSTORE_RING_IDX cons, prod;
XENSTORE_RING_IDX cons, prod;
static int check_indexes(XENSTORE_RING_IDX cons, XENSTORE_RING_IDX prod)
static void *get_output_chunk(XENSTORE_RING_IDX cons,
XENSTORE_RING_IDX prod,
static const void *get_input_chunk(XENSTORE_RING_IDX cons,
XENSTORE_RING_IDX prod,
XENSTORE_RING_IDX req_cons, req_prod;
XENSTORE_RING_IDX rsp_cons, rsp_prod;