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