342   XENSTORE_RING_IDX Prod  in XenStoreCheckIndexes()  argument
345   return ((Prod - Cons) <= XENSTORE_RING_SIZE);  in XenStoreCheckIndexes()
363   IN  XENSTORE_RING_IDX Prod,  in XenStoreGetOutputChunk()  argument
369   Len = XENSTORE_RING_SIZE - MASK_XENSTORE_IDX (Prod);  in XenStoreGetOutputChunk()
370   if ((XENSTORE_RING_SIZE - (Prod - Cons)) < Len) {  in XenStoreGetOutputChunk()
371     Len = XENSTORE_RING_SIZE - (Prod - Cons);  in XenStoreGetOutputChunk()
374   return (Buffer + MASK_XENSTORE_IDX (Prod));  in XenStoreGetOutputChunk()
392   IN  XENSTORE_RING_IDX Prod,  in XenStoreGetInputChunk()  argument
400   if ((Prod - Cons) < Len) {  in XenStoreGetInputChunk()
401     Len = Prod - Cons;  in XenStoreGetInputChunk()
465   XENSTORE_RING_IDX Cons, Prod;  in XenStoreWriteStore()  local
473     Prod = xs.XenStore->req_prod;  in XenStoreWriteStore()
474     if ((Prod - Cons) == XENSTORE_RING_SIZE) {  in XenStoreWriteStore()
492     if (!XenStoreCheckIndexes (Cons, Prod)) {  in XenStoreWriteStore()
497     Dest = XenStoreGetOutputChunk (Cons, Prod, xs.XenStore->req, &Available);  in XenStoreWriteStore()
544   XENSTORE_RING_IDX Cons, Prod;  in XenStoreReadStore()  local
552     Prod = xs.XenStore->rsp_prod;  in XenStoreReadStore()
553     if (Cons == Prod) {  in XenStoreReadStore()
571     if (!XenStoreCheckIndexes (Cons, Prod)) {  in XenStoreReadStore()
576     Src = XenStoreGetInputChunk (Cons, Prod, xs.XenStore->rsp, &Available);  in XenStoreReadStore()