/* The difference between the producer and consumer cannot exceed the size of the ring. */
STATIC BOOLEAN XenStoreCheckIndexes(XENSTORE_RING_IDX Cons, XENSTORE_RING_IDX Prod)
/* The difference between the producer and consumer cannot exceed the size of the ring. */
STATIC BOOLEAN XenStoreCheckIndexes(XENSTORE_RING_IDX Cons, XENSTORE_RING_IDX Prod)
{
  return ((Prod - Cons) <= XENSTORE_RING_SIZE);
}