XENSTORE_RING_IDX
check_indexes(XENSTORE_RING_IDX cons, XENSTORE_RING_IDX prod)
get_output_chunk(XENSTORE_RING_IDX cons, XENSTORE_RING_IDX prod,
get_input_chunk(XENSTORE_RING_IDX cons, XENSTORE_RING_IDX prod,
XENSTORE_RING_IDX cons, prod;
XENSTORE_RING_IDX cons, prod;
XENSTORE_RING_IDX req_cons, req_prod;
XENSTORE_RING_IDX rsp_cons, rsp_prod;