MASK_XENSTORE_IDX
*len = XENSTORE_RING_SIZE - MASK_XENSTORE_IDX(prod);
return buf + MASK_XENSTORE_IDX(prod);
*len = XENSTORE_RING_SIZE - MASK_XENSTORE_IDX(cons);
return buf + MASK_XENSTORE_IDX(cons);