xref: /openbmc/linux/include/xen/interface/io/ring.h (revision 4f2c0a4acffbec01079c28f839422e64ddeff004)
19e2b3e83SJuergen Gross /* SPDX-License-Identifier: MIT */
2a42089ddSJeremy Fitzhardinge /******************************************************************************
3a42089ddSJeremy Fitzhardinge  * ring.h
4a42089ddSJeremy Fitzhardinge  *
5a42089ddSJeremy Fitzhardinge  * Shared producer-consumer ring macros.
6a42089ddSJeremy Fitzhardinge  *
7a42089ddSJeremy Fitzhardinge  * Tim Deegan and Andrew Warfield November 2004.
8a42089ddSJeremy Fitzhardinge  */
9a42089ddSJeremy Fitzhardinge 
10a42089ddSJeremy Fitzhardinge #ifndef __XEN_PUBLIC_IO_RING_H__
11a42089ddSJeremy Fitzhardinge #define __XEN_PUBLIC_IO_RING_H__
12a42089ddSJeremy Fitzhardinge 
13629a5d87SJuergen Gross /*
14629a5d87SJuergen Gross  * When #include'ing this header, you need to provide the following
15629a5d87SJuergen Gross  * declaration upfront:
16629a5d87SJuergen Gross  * - standard integers types (uint8_t, uint16_t, etc)
17629a5d87SJuergen Gross  * They are provided by stdint.h of the standard headers.
18629a5d87SJuergen Gross  *
19629a5d87SJuergen Gross  * In addition, if you intend to use the FLEX macros, you also need to
20629a5d87SJuergen Gross  * provide the following, before invoking the FLEX macros:
21629a5d87SJuergen Gross  * - size_t
22629a5d87SJuergen Gross  * - memcpy
23629a5d87SJuergen Gross  * - grant_ref_t
24629a5d87SJuergen Gross  * These declarations are provided by string.h of the standard headers,
25629a5d87SJuergen Gross  * and grant_table.h from the Xen public headers.
26629a5d87SJuergen Gross  */
27629a5d87SJuergen Gross 
2875e3ea5bSStefano Stabellini #include <xen/interface/grant_table.h>
2975e3ea5bSStefano Stabellini 
30a42089ddSJeremy Fitzhardinge typedef unsigned int RING_IDX;
31a42089ddSJeremy Fitzhardinge 
32a42089ddSJeremy Fitzhardinge /* Round a 32-bit unsigned constant down to the nearest power of two. */
33a42089ddSJeremy Fitzhardinge #define __RD2(_x)  (((_x) & 0x00000002) ? 0x2                  : ((_x) & 0x1))
34a42089ddSJeremy Fitzhardinge #define __RD4(_x)  (((_x) & 0x0000000c) ? __RD2((_x)>>2)<<2    : __RD2(_x))
35a42089ddSJeremy Fitzhardinge #define __RD8(_x)  (((_x) & 0x000000f0) ? __RD4((_x)>>4)<<4    : __RD4(_x))
36a42089ddSJeremy Fitzhardinge #define __RD16(_x) (((_x) & 0x0000ff00) ? __RD8((_x)>>8)<<8    : __RD8(_x))
37a42089ddSJeremy Fitzhardinge #define __RD32(_x) (((_x) & 0xffff0000) ? __RD16((_x)>>16)<<16 : __RD16(_x))
38a42089ddSJeremy Fitzhardinge 
39a42089ddSJeremy Fitzhardinge /*
40a42089ddSJeremy Fitzhardinge  * Calculate size of a shared ring, given the total available space for the
41a42089ddSJeremy Fitzhardinge  * ring and indexes (_sz), and the name tag of the request/response structure.
42a42089ddSJeremy Fitzhardinge  * A ring contains as many entries as will fit, rounded down to the nearest
43a42089ddSJeremy Fitzhardinge  * power of two (so we can mask with (size-1) to loop around).
44a42089ddSJeremy Fitzhardinge  */
45667c78afSJeremy Fitzhardinge #define __CONST_RING_SIZE(_s, _sz) \
46667c78afSJeremy Fitzhardinge     (__RD32(((_sz) - offsetof(struct _s##_sring, ring)) / \
47667c78afSJeremy Fitzhardinge 	    sizeof(((struct _s##_sring *)0)->ring[0])))
48667c78afSJeremy Fitzhardinge /*
49667c78afSJeremy Fitzhardinge  * The same for passing in an actual pointer instead of a name tag.
50667c78afSJeremy Fitzhardinge  */
51a42089ddSJeremy Fitzhardinge #define __RING_SIZE(_s, _sz) \
52629a5d87SJuergen Gross     (__RD32(((_sz) - (long)(_s)->ring + (long)(_s)) / sizeof((_s)->ring[0])))
53a42089ddSJeremy Fitzhardinge 
54a42089ddSJeremy Fitzhardinge /*
55a42089ddSJeremy Fitzhardinge  * Macros to make the correct C datatypes for a new kind of ring.
56a42089ddSJeremy Fitzhardinge  *
57a42089ddSJeremy Fitzhardinge  * To make a new ring datatype, you need to have two message structures,
58629a5d87SJuergen Gross  * let's say request_t, and response_t already defined.
59a42089ddSJeremy Fitzhardinge  *
60a42089ddSJeremy Fitzhardinge  * In a header where you want the ring datatype declared, you then do:
61a42089ddSJeremy Fitzhardinge  *
62629a5d87SJuergen Gross  *     DEFINE_RING_TYPES(mytag, request_t, response_t);
63a42089ddSJeremy Fitzhardinge  *
64a42089ddSJeremy Fitzhardinge  * These expand out to give you a set of types, as you can see below.
65a42089ddSJeremy Fitzhardinge  * The most important of these are:
66a42089ddSJeremy Fitzhardinge  *
67629a5d87SJuergen Gross  *     mytag_sring_t      - The shared ring.
68629a5d87SJuergen Gross  *     mytag_front_ring_t - The 'front' half of the ring.
69629a5d87SJuergen Gross  *     mytag_back_ring_t  - The 'back' half of the ring.
70a42089ddSJeremy Fitzhardinge  *
71a42089ddSJeremy Fitzhardinge  * To initialize a ring in your code you need to know the location and size
72a42089ddSJeremy Fitzhardinge  * of the shared memory area (PAGE_SIZE, for instance). To initialise
73a42089ddSJeremy Fitzhardinge  * the front half:
74a42089ddSJeremy Fitzhardinge  *
75*6fac592cSJuergen Gross  *     mytag_front_ring_t ring;
76*6fac592cSJuergen Gross  *     XEN_FRONT_RING_INIT(&ring, (mytag_sring_t *)shared_page, PAGE_SIZE);
77a42089ddSJeremy Fitzhardinge  *
78a42089ddSJeremy Fitzhardinge  * Initializing the back follows similarly (note that only the front
79a42089ddSJeremy Fitzhardinge  * initializes the shared ring):
80a42089ddSJeremy Fitzhardinge  *
81629a5d87SJuergen Gross  *     mytag_back_ring_t back_ring;
82629a5d87SJuergen Gross  *     BACK_RING_INIT(&back_ring, (mytag_sring_t *)shared_page, PAGE_SIZE);
83a42089ddSJeremy Fitzhardinge  */
84a42089ddSJeremy Fitzhardinge 
85a42089ddSJeremy Fitzhardinge #define DEFINE_RING_TYPES(__name, __req_t, __rsp_t)                     \
86a42089ddSJeremy Fitzhardinge                                                                         \
87a42089ddSJeremy Fitzhardinge /* Shared ring entry */                                                 \
88a42089ddSJeremy Fitzhardinge union __name##_sring_entry {                                            \
89a42089ddSJeremy Fitzhardinge     __req_t req;                                                        \
90a42089ddSJeremy Fitzhardinge     __rsp_t rsp;                                                        \
91a42089ddSJeremy Fitzhardinge };                                                                      \
92a42089ddSJeremy Fitzhardinge                                                                         \
93a42089ddSJeremy Fitzhardinge /* Shared ring page */                                                  \
94a42089ddSJeremy Fitzhardinge struct __name##_sring {                                                 \
95a42089ddSJeremy Fitzhardinge     RING_IDX req_prod, req_event;                                       \
96a42089ddSJeremy Fitzhardinge     RING_IDX rsp_prod, rsp_event;                                       \
97629a5d87SJuergen Gross     uint8_t __pad[48];                                                  \
98a42089ddSJeremy Fitzhardinge     union __name##_sring_entry ring[1]; /* variable-length */           \
99a42089ddSJeremy Fitzhardinge };                                                                      \
100a42089ddSJeremy Fitzhardinge                                                                         \
101a42089ddSJeremy Fitzhardinge /* "Front" end's private variables */                                   \
102a42089ddSJeremy Fitzhardinge struct __name##_front_ring {                                            \
103a42089ddSJeremy Fitzhardinge     RING_IDX req_prod_pvt;                                              \
104a42089ddSJeremy Fitzhardinge     RING_IDX rsp_cons;                                                  \
105a42089ddSJeremy Fitzhardinge     unsigned int nr_ents;                                               \
106a42089ddSJeremy Fitzhardinge     struct __name##_sring *sring;                                       \
107a42089ddSJeremy Fitzhardinge };                                                                      \
108a42089ddSJeremy Fitzhardinge                                                                         \
109a42089ddSJeremy Fitzhardinge /* "Back" end's private variables */                                    \
110a42089ddSJeremy Fitzhardinge struct __name##_back_ring {                                             \
111a42089ddSJeremy Fitzhardinge     RING_IDX rsp_prod_pvt;                                              \
112a42089ddSJeremy Fitzhardinge     RING_IDX req_cons;                                                  \
113a42089ddSJeremy Fitzhardinge     unsigned int nr_ents;                                               \
114a42089ddSJeremy Fitzhardinge     struct __name##_sring *sring;                                       \
115629a5d87SJuergen Gross };                                                                      \
116629a5d87SJuergen Gross                                                                         \
117a42089ddSJeremy Fitzhardinge /*
118a42089ddSJeremy Fitzhardinge  * Macros for manipulating rings.
119a42089ddSJeremy Fitzhardinge  *
120a42089ddSJeremy Fitzhardinge  * FRONT_RING_whatever works on the "front end" of a ring: here
121a42089ddSJeremy Fitzhardinge  * requests are pushed on to the ring and responses taken off it.
122a42089ddSJeremy Fitzhardinge  *
123a42089ddSJeremy Fitzhardinge  * BACK_RING_whatever works on the "back end" of a ring: here
124a42089ddSJeremy Fitzhardinge  * requests are taken off the ring and responses put on.
125a42089ddSJeremy Fitzhardinge  *
126a42089ddSJeremy Fitzhardinge  * N.B. these macros do NO INTERLOCKS OR FLOW CONTROL.
127a42089ddSJeremy Fitzhardinge  * This is OK in 1-for-1 request-response situations where the
128a42089ddSJeremy Fitzhardinge  * requestor (front end) never has more than RING_SIZE()-1
129a42089ddSJeremy Fitzhardinge  * outstanding requests.
130a42089ddSJeremy Fitzhardinge  */
131a42089ddSJeremy Fitzhardinge 
132a42089ddSJeremy Fitzhardinge /* Initialising empty rings */
133a42089ddSJeremy Fitzhardinge #define SHARED_RING_INIT(_s) do {                                       \
134a42089ddSJeremy Fitzhardinge     (_s)->req_prod  = (_s)->rsp_prod  = 0;                              \
135a42089ddSJeremy Fitzhardinge     (_s)->req_event = (_s)->rsp_event = 1;                              \
136629a5d87SJuergen Gross     (void)memset((_s)->__pad, 0, sizeof((_s)->__pad));                  \
137a42089ddSJeremy Fitzhardinge } while(0)
138a42089ddSJeremy Fitzhardinge 
1391ee54195SPaul Durrant #define FRONT_RING_ATTACH(_r, _s, _i, __size) do {                      \
1401ee54195SPaul Durrant     (_r)->req_prod_pvt = (_i);                                          \
1411ee54195SPaul Durrant     (_r)->rsp_cons = (_i);                                              \
142a42089ddSJeremy Fitzhardinge     (_r)->nr_ents = __RING_SIZE(_s, __size);                            \
143a42089ddSJeremy Fitzhardinge     (_r)->sring = (_s);                                                 \
144a42089ddSJeremy Fitzhardinge } while (0)
145a42089ddSJeremy Fitzhardinge 
1461ee54195SPaul Durrant #define FRONT_RING_INIT(_r, _s, __size) FRONT_RING_ATTACH(_r, _s, 0, __size)
1471ee54195SPaul Durrant 
148*6fac592cSJuergen Gross #define XEN_FRONT_RING_INIT(r, s, size) do {                            \
149*6fac592cSJuergen Gross     SHARED_RING_INIT(s);                                                \
150*6fac592cSJuergen Gross     FRONT_RING_INIT(r, s, size);                                        \
151*6fac592cSJuergen Gross } while (0)
152*6fac592cSJuergen Gross 
1531ee54195SPaul Durrant #define BACK_RING_ATTACH(_r, _s, _i, __size) do {                       \
1541ee54195SPaul Durrant     (_r)->rsp_prod_pvt = (_i);                                          \
1551ee54195SPaul Durrant     (_r)->req_cons = (_i);                                              \
156a42089ddSJeremy Fitzhardinge     (_r)->nr_ents = __RING_SIZE(_s, __size);                            \
157a42089ddSJeremy Fitzhardinge     (_r)->sring = (_s);                                                 \
158a42089ddSJeremy Fitzhardinge } while (0)
159a42089ddSJeremy Fitzhardinge 
1601ee54195SPaul Durrant #define BACK_RING_INIT(_r, _s, __size) BACK_RING_ATTACH(_r, _s, 0, __size)
161a42089ddSJeremy Fitzhardinge 
162a42089ddSJeremy Fitzhardinge /* How big is this ring? */
163a42089ddSJeremy Fitzhardinge #define RING_SIZE(_r)                                                   \
164a42089ddSJeremy Fitzhardinge     ((_r)->nr_ents)
165a42089ddSJeremy Fitzhardinge 
166a42089ddSJeremy Fitzhardinge /* Number of free requests (for use on front side only). */
167a42089ddSJeremy Fitzhardinge #define RING_FREE_REQUESTS(_r)                                          \
168a42089ddSJeremy Fitzhardinge     (RING_SIZE(_r) - ((_r)->req_prod_pvt - (_r)->rsp_cons))
169a42089ddSJeremy Fitzhardinge 
170a42089ddSJeremy Fitzhardinge /* Test if there is an empty slot available on the front ring.
171a42089ddSJeremy Fitzhardinge  * (This is only meaningful from the front. )
172a42089ddSJeremy Fitzhardinge  */
173a42089ddSJeremy Fitzhardinge #define RING_FULL(_r)                                                   \
174a42089ddSJeremy Fitzhardinge     (RING_FREE_REQUESTS(_r) == 0)
175a42089ddSJeremy Fitzhardinge 
176a42089ddSJeremy Fitzhardinge /* Test if there are outstanding messages to be processed on a ring. */
177*6fac592cSJuergen Gross #define XEN_RING_NR_UNCONSUMED_RESPONSES(_r)                            \
178a42089ddSJeremy Fitzhardinge     ((_r)->sring->rsp_prod - (_r)->rsp_cons)
179a42089ddSJeremy Fitzhardinge 
180*6fac592cSJuergen Gross #define XEN_RING_NR_UNCONSUMED_REQUESTS(_r) ({                          \
181a42089ddSJeremy Fitzhardinge     unsigned int req = (_r)->sring->req_prod - (_r)->req_cons;          \
182a42089ddSJeremy Fitzhardinge     unsigned int rsp = RING_SIZE(_r) -                                  \
183a42089ddSJeremy Fitzhardinge         ((_r)->req_cons - (_r)->rsp_prod_pvt);                          \
184a42089ddSJeremy Fitzhardinge     req < rsp ? req : rsp;                                              \
185a42089ddSJeremy Fitzhardinge })
186a42089ddSJeremy Fitzhardinge 
187*6fac592cSJuergen Gross #define RING_HAS_UNCONSUMED_RESPONSES(_r) \
188*6fac592cSJuergen Gross     (!!XEN_RING_NR_UNCONSUMED_RESPONSES(_r))
189*6fac592cSJuergen Gross #define RING_HAS_UNCONSUMED_REQUESTS(_r)  \
190*6fac592cSJuergen Gross     (!!XEN_RING_NR_UNCONSUMED_REQUESTS(_r))
191*6fac592cSJuergen Gross 
192a42089ddSJeremy Fitzhardinge /* Direct access to individual ring elements, by index. */
193a42089ddSJeremy Fitzhardinge #define RING_GET_REQUEST(_r, _idx)                                      \
194a42089ddSJeremy Fitzhardinge     (&((_r)->sring->ring[((_idx) & (RING_SIZE(_r) - 1))].req))
195a42089ddSJeremy Fitzhardinge 
196629a5d87SJuergen Gross #define RING_GET_RESPONSE(_r, _idx)                                     \
197629a5d87SJuergen Gross     (&((_r)->sring->ring[((_idx) & (RING_SIZE(_r) - 1))].rsp))
198629a5d87SJuergen Gross 
199454d5d88SDavid Vrabel /*
200629a5d87SJuergen Gross  * Get a local copy of a request/response.
201454d5d88SDavid Vrabel  *
202629a5d87SJuergen Gross  * Use this in preference to RING_GET_{REQUEST,RESPONSE}() so all processing is
203454d5d88SDavid Vrabel  * done on a local copy that cannot be modified by the other end.
204454d5d88SDavid Vrabel  *
205454d5d88SDavid Vrabel  * Note that https://gcc.gnu.org/bugzilla/show_bug.cgi?id=58145 may cause this
206629a5d87SJuergen Gross  * to be ineffective where dest is a struct which consists of only bitfields.
207454d5d88SDavid Vrabel  */
208629a5d87SJuergen Gross #define RING_COPY_(type, r, idx, dest) do {				\
209629a5d87SJuergen Gross 	/* Use volatile to force the copy into dest. */			\
210629a5d87SJuergen Gross 	*(dest) = *(volatile typeof(dest))RING_GET_##type(r, idx);	\
211454d5d88SDavid Vrabel } while (0)
212454d5d88SDavid Vrabel 
213629a5d87SJuergen Gross #define RING_COPY_REQUEST(r, idx, req)  RING_COPY_(REQUEST, r, idx, req)
214629a5d87SJuergen Gross #define RING_COPY_RESPONSE(r, idx, rsp) RING_COPY_(RESPONSE, r, idx, rsp)
215a42089ddSJeremy Fitzhardinge 
216a42089ddSJeremy Fitzhardinge /* Loop termination condition: Would the specified index overflow the ring? */
217a42089ddSJeremy Fitzhardinge #define RING_REQUEST_CONS_OVERFLOW(_r, _cons)                           \
218a42089ddSJeremy Fitzhardinge     (((_cons) - (_r)->rsp_prod_pvt) >= RING_SIZE(_r))
219a42089ddSJeremy Fitzhardinge 
2208d925690SJan Beulich /* Ill-behaved frontend determination: Can there be this many requests? */
2218d925690SJan Beulich #define RING_REQUEST_PROD_OVERFLOW(_r, _prod)                           \
2228d925690SJan Beulich     (((_prod) - (_r)->rsp_prod_pvt) > RING_SIZE(_r))
2238d925690SJan Beulich 
224629a5d87SJuergen Gross /* Ill-behaved backend determination: Can there be this many responses? */
225629a5d87SJuergen Gross #define RING_RESPONSE_PROD_OVERFLOW(_r, _prod)                          \
226629a5d87SJuergen Gross     (((_prod) - (_r)->rsp_cons) > RING_SIZE(_r))
2278d925690SJan Beulich 
228a42089ddSJeremy Fitzhardinge #define RING_PUSH_REQUESTS(_r) do {                                     \
229506b02ebSMichael S. Tsirkin     virt_wmb(); /* back sees requests /before/ updated producer index */\
230a42089ddSJeremy Fitzhardinge     (_r)->sring->req_prod = (_r)->req_prod_pvt;                         \
231a42089ddSJeremy Fitzhardinge } while (0)
232a42089ddSJeremy Fitzhardinge 
233a42089ddSJeremy Fitzhardinge #define RING_PUSH_RESPONSES(_r) do {                                    \
234629a5d87SJuergen Gross     virt_wmb(); /* front sees resps /before/ updated producer index */  \
235a42089ddSJeremy Fitzhardinge     (_r)->sring->rsp_prod = (_r)->rsp_prod_pvt;                         \
236a42089ddSJeremy Fitzhardinge } while (0)
237a42089ddSJeremy Fitzhardinge 
238a42089ddSJeremy Fitzhardinge /*
239a42089ddSJeremy Fitzhardinge  * Notification hold-off (req_event and rsp_event):
240a42089ddSJeremy Fitzhardinge  *
241a42089ddSJeremy Fitzhardinge  * When queueing requests or responses on a shared ring, it may not always be
242a42089ddSJeremy Fitzhardinge  * necessary to notify the remote end. For example, if requests are in flight
243a42089ddSJeremy Fitzhardinge  * in a backend, the front may be able to queue further requests without
244a42089ddSJeremy Fitzhardinge  * notifying the back (if the back checks for new requests when it queues
245a42089ddSJeremy Fitzhardinge  * responses).
246a42089ddSJeremy Fitzhardinge  *
247a42089ddSJeremy Fitzhardinge  * When enqueuing requests or responses:
248a42089ddSJeremy Fitzhardinge  *
249a42089ddSJeremy Fitzhardinge  *  Use RING_PUSH_{REQUESTS,RESPONSES}_AND_CHECK_NOTIFY(). The second argument
250a42089ddSJeremy Fitzhardinge  *  is a boolean return value. True indicates that the receiver requires an
251a42089ddSJeremy Fitzhardinge  *  asynchronous notification.
252a42089ddSJeremy Fitzhardinge  *
253a42089ddSJeremy Fitzhardinge  * After dequeuing requests or responses (before sleeping the connection):
254a42089ddSJeremy Fitzhardinge  *
255a42089ddSJeremy Fitzhardinge  *  Use RING_FINAL_CHECK_FOR_REQUESTS() or RING_FINAL_CHECK_FOR_RESPONSES().
256a42089ddSJeremy Fitzhardinge  *  The second argument is a boolean return value. True indicates that there
257a42089ddSJeremy Fitzhardinge  *  are pending messages on the ring (i.e., the connection should not be put
258a42089ddSJeremy Fitzhardinge  *  to sleep).
259a42089ddSJeremy Fitzhardinge  *
260a42089ddSJeremy Fitzhardinge  *  These macros will set the req_event/rsp_event field to trigger a
261a42089ddSJeremy Fitzhardinge  *  notification on the very next message that is enqueued. If you want to
262a42089ddSJeremy Fitzhardinge  *  create batches of work (i.e., only receive a notification after several
263a42089ddSJeremy Fitzhardinge  *  messages have been enqueued) then you will need to create a customised
264a42089ddSJeremy Fitzhardinge  *  version of the FINAL_CHECK macro in your own code, which sets the event
265a42089ddSJeremy Fitzhardinge  *  field appropriately.
266a42089ddSJeremy Fitzhardinge  */
267a42089ddSJeremy Fitzhardinge 
268a42089ddSJeremy Fitzhardinge #define RING_PUSH_REQUESTS_AND_CHECK_NOTIFY(_r, _notify) do {           \
269a42089ddSJeremy Fitzhardinge     RING_IDX __old = (_r)->sring->req_prod;                             \
270a42089ddSJeremy Fitzhardinge     RING_IDX __new = (_r)->req_prod_pvt;                                \
271506b02ebSMichael S. Tsirkin     virt_wmb(); /* back sees requests /before/ updated producer index */\
272a42089ddSJeremy Fitzhardinge     (_r)->sring->req_prod = __new;                                      \
273506b02ebSMichael S. Tsirkin     virt_mb(); /* back sees new requests /before/ we check req_event */ \
274a42089ddSJeremy Fitzhardinge     (_notify) = ((RING_IDX)(__new - (_r)->sring->req_event) <           \
275a42089ddSJeremy Fitzhardinge                  (RING_IDX)(__new - __old));                            \
276a42089ddSJeremy Fitzhardinge } while (0)
277a42089ddSJeremy Fitzhardinge 
278a42089ddSJeremy Fitzhardinge #define RING_PUSH_RESPONSES_AND_CHECK_NOTIFY(_r, _notify) do {          \
279a42089ddSJeremy Fitzhardinge     RING_IDX __old = (_r)->sring->rsp_prod;                             \
280a42089ddSJeremy Fitzhardinge     RING_IDX __new = (_r)->rsp_prod_pvt;                                \
281629a5d87SJuergen Gross     virt_wmb(); /* front sees resps /before/ updated producer index */  \
282a42089ddSJeremy Fitzhardinge     (_r)->sring->rsp_prod = __new;                                      \
283629a5d87SJuergen Gross     virt_mb(); /* front sees new resps /before/ we check rsp_event */   \
284a42089ddSJeremy Fitzhardinge     (_notify) = ((RING_IDX)(__new - (_r)->sring->rsp_event) <           \
285a42089ddSJeremy Fitzhardinge                  (RING_IDX)(__new - __old));                            \
286a42089ddSJeremy Fitzhardinge } while (0)
287a42089ddSJeremy Fitzhardinge 
288a42089ddSJeremy Fitzhardinge #define RING_FINAL_CHECK_FOR_REQUESTS(_r, _work_to_do) do {             \
289a42089ddSJeremy Fitzhardinge     (_work_to_do) = RING_HAS_UNCONSUMED_REQUESTS(_r);                   \
290a42089ddSJeremy Fitzhardinge     if (_work_to_do) break;                                             \
291a42089ddSJeremy Fitzhardinge     (_r)->sring->req_event = (_r)->req_cons + 1;                        \
292506b02ebSMichael S. Tsirkin     virt_mb();                                                          \
293a42089ddSJeremy Fitzhardinge     (_work_to_do) = RING_HAS_UNCONSUMED_REQUESTS(_r);                   \
294a42089ddSJeremy Fitzhardinge } while (0)
295a42089ddSJeremy Fitzhardinge 
296a42089ddSJeremy Fitzhardinge #define RING_FINAL_CHECK_FOR_RESPONSES(_r, _work_to_do) do {            \
297a42089ddSJeremy Fitzhardinge     (_work_to_do) = RING_HAS_UNCONSUMED_RESPONSES(_r);                  \
298a42089ddSJeremy Fitzhardinge     if (_work_to_do) break;                                             \
299a42089ddSJeremy Fitzhardinge     (_r)->sring->rsp_event = (_r)->rsp_cons + 1;                        \
300506b02ebSMichael S. Tsirkin     virt_mb();                                                          \
301a42089ddSJeremy Fitzhardinge     (_work_to_do) = RING_HAS_UNCONSUMED_RESPONSES(_r);                  \
302a42089ddSJeremy Fitzhardinge } while (0)
303a42089ddSJeremy Fitzhardinge 
304564f7dfdSStefano Stabellini 
305564f7dfdSStefano Stabellini /*
306564f7dfdSStefano Stabellini  * DEFINE_XEN_FLEX_RING_AND_INTF defines two monodirectional rings and
307564f7dfdSStefano Stabellini  * functions to check if there is data on the ring, and to read and
308564f7dfdSStefano Stabellini  * write to them.
309564f7dfdSStefano Stabellini  *
310564f7dfdSStefano Stabellini  * DEFINE_XEN_FLEX_RING is similar to DEFINE_XEN_FLEX_RING_AND_INTF, but
311564f7dfdSStefano Stabellini  * does not define the indexes page. As different protocols can have
312564f7dfdSStefano Stabellini  * extensions to the basic format, this macro allow them to define their
313564f7dfdSStefano Stabellini  * own struct.
314564f7dfdSStefano Stabellini  *
315564f7dfdSStefano Stabellini  * XEN_FLEX_RING_SIZE
316564f7dfdSStefano Stabellini  *   Convenience macro to calculate the size of one of the two rings
317564f7dfdSStefano Stabellini  *   from the overall order.
318564f7dfdSStefano Stabellini  *
319564f7dfdSStefano Stabellini  * $NAME_mask
320564f7dfdSStefano Stabellini  *   Function to apply the size mask to an index, to reduce the index
321564f7dfdSStefano Stabellini  *   within the range [0-size].
322564f7dfdSStefano Stabellini  *
323564f7dfdSStefano Stabellini  * $NAME_read_packet
324564f7dfdSStefano Stabellini  *   Function to read data from the ring. The amount of data to read is
325564f7dfdSStefano Stabellini  *   specified by the "size" argument.
326564f7dfdSStefano Stabellini  *
327564f7dfdSStefano Stabellini  * $NAME_write_packet
328564f7dfdSStefano Stabellini  *   Function to write data to the ring. The amount of data to write is
329564f7dfdSStefano Stabellini  *   specified by the "size" argument.
330564f7dfdSStefano Stabellini  *
331564f7dfdSStefano Stabellini  * $NAME_get_ring_ptr
332564f7dfdSStefano Stabellini  *   Convenience function that returns a pointer to read/write to the
333564f7dfdSStefano Stabellini  *   ring at the right location.
334564f7dfdSStefano Stabellini  *
335564f7dfdSStefano Stabellini  * $NAME_data_intf
336564f7dfdSStefano Stabellini  *   Indexes page, shared between frontend and backend. It also
337564f7dfdSStefano Stabellini  *   contains the array of grant refs.
338564f7dfdSStefano Stabellini  *
339564f7dfdSStefano Stabellini  * $NAME_queued
340564f7dfdSStefano Stabellini  *   Function to calculate how many bytes are currently on the ring,
341564f7dfdSStefano Stabellini  *   ready to be read. It can also be used to calculate how much free
342564f7dfdSStefano Stabellini  *   space is currently on the ring (XEN_FLEX_RING_SIZE() -
343564f7dfdSStefano Stabellini  *   $NAME_queued()).
344564f7dfdSStefano Stabellini  */
345564f7dfdSStefano Stabellini 
346564f7dfdSStefano Stabellini #ifndef XEN_PAGE_SHIFT
347564f7dfdSStefano Stabellini /* The PAGE_SIZE for ring protocols and hypercall interfaces is always
348564f7dfdSStefano Stabellini  * 4K, regardless of the architecture, and page granularity chosen by
349564f7dfdSStefano Stabellini  * operating systems.
350564f7dfdSStefano Stabellini  */
351564f7dfdSStefano Stabellini #define XEN_PAGE_SHIFT 12
352564f7dfdSStefano Stabellini #endif
353564f7dfdSStefano Stabellini #define XEN_FLEX_RING_SIZE(order)                                             \
354564f7dfdSStefano Stabellini     (1UL << ((order) + XEN_PAGE_SHIFT - 1))
355564f7dfdSStefano Stabellini 
356564f7dfdSStefano Stabellini #define DEFINE_XEN_FLEX_RING(name)                                            \
357564f7dfdSStefano Stabellini static inline RING_IDX name##_mask(RING_IDX idx, RING_IDX ring_size)          \
358564f7dfdSStefano Stabellini {                                                                             \
359564f7dfdSStefano Stabellini     return idx & (ring_size - 1);                                             \
360564f7dfdSStefano Stabellini }                                                                             \
361564f7dfdSStefano Stabellini                                                                               \
362564f7dfdSStefano Stabellini static inline unsigned char *name##_get_ring_ptr(unsigned char *buf,          \
363564f7dfdSStefano Stabellini                                                  RING_IDX idx,                \
364564f7dfdSStefano Stabellini                                                  RING_IDX ring_size)          \
365564f7dfdSStefano Stabellini {                                                                             \
366564f7dfdSStefano Stabellini     return buf + name##_mask(idx, ring_size);                                 \
367564f7dfdSStefano Stabellini }                                                                             \
368564f7dfdSStefano Stabellini                                                                               \
369564f7dfdSStefano Stabellini static inline void name##_read_packet(void *opaque,                           \
370564f7dfdSStefano Stabellini                                       const unsigned char *buf,               \
371564f7dfdSStefano Stabellini                                       size_t size,                            \
372564f7dfdSStefano Stabellini                                       RING_IDX masked_prod,                   \
373564f7dfdSStefano Stabellini                                       RING_IDX *masked_cons,                  \
374564f7dfdSStefano Stabellini                                       RING_IDX ring_size)                     \
375564f7dfdSStefano Stabellini {                                                                             \
376564f7dfdSStefano Stabellini     if (*masked_cons < masked_prod ||                                         \
377564f7dfdSStefano Stabellini         size <= ring_size - *masked_cons) {                                   \
378564f7dfdSStefano Stabellini         memcpy(opaque, buf + *masked_cons, size);                             \
379564f7dfdSStefano Stabellini     } else {                                                                  \
380564f7dfdSStefano Stabellini         memcpy(opaque, buf + *masked_cons, ring_size - *masked_cons);         \
381564f7dfdSStefano Stabellini         memcpy((unsigned char *)opaque + ring_size - *masked_cons, buf,       \
382564f7dfdSStefano Stabellini                size - (ring_size - *masked_cons));                            \
383564f7dfdSStefano Stabellini     }                                                                         \
384564f7dfdSStefano Stabellini     *masked_cons = name##_mask(*masked_cons + size, ring_size);               \
385564f7dfdSStefano Stabellini }                                                                             \
386564f7dfdSStefano Stabellini                                                                               \
387564f7dfdSStefano Stabellini static inline void name##_write_packet(unsigned char *buf,                    \
388564f7dfdSStefano Stabellini                                        const void *opaque,                    \
389564f7dfdSStefano Stabellini                                        size_t size,                           \
390564f7dfdSStefano Stabellini                                        RING_IDX *masked_prod,                 \
391564f7dfdSStefano Stabellini                                        RING_IDX masked_cons,                  \
392564f7dfdSStefano Stabellini                                        RING_IDX ring_size)                    \
393564f7dfdSStefano Stabellini {                                                                             \
394564f7dfdSStefano Stabellini     if (*masked_prod < masked_cons ||                                         \
395564f7dfdSStefano Stabellini         size <= ring_size - *masked_prod) {                                   \
396564f7dfdSStefano Stabellini         memcpy(buf + *masked_prod, opaque, size);                             \
397564f7dfdSStefano Stabellini     } else {                                                                  \
398564f7dfdSStefano Stabellini         memcpy(buf + *masked_prod, opaque, ring_size - *masked_prod);         \
399564f7dfdSStefano Stabellini         memcpy(buf, (unsigned char *)opaque + (ring_size - *masked_prod),     \
400564f7dfdSStefano Stabellini                size - (ring_size - *masked_prod));                            \
401564f7dfdSStefano Stabellini     }                                                                         \
402564f7dfdSStefano Stabellini     *masked_prod = name##_mask(*masked_prod + size, ring_size);               \
403564f7dfdSStefano Stabellini }                                                                             \
404564f7dfdSStefano Stabellini                                                                               \
405564f7dfdSStefano Stabellini static inline RING_IDX name##_queued(RING_IDX prod,                           \
406564f7dfdSStefano Stabellini                                      RING_IDX cons,                           \
407564f7dfdSStefano Stabellini                                      RING_IDX ring_size)                      \
408564f7dfdSStefano Stabellini {                                                                             \
409564f7dfdSStefano Stabellini     RING_IDX size;                                                            \
410564f7dfdSStefano Stabellini                                                                               \
411564f7dfdSStefano Stabellini     if (prod == cons)                                                         \
412564f7dfdSStefano Stabellini         return 0;                                                             \
413564f7dfdSStefano Stabellini                                                                               \
414564f7dfdSStefano Stabellini     prod = name##_mask(prod, ring_size);                                      \
415564f7dfdSStefano Stabellini     cons = name##_mask(cons, ring_size);                                      \
416564f7dfdSStefano Stabellini                                                                               \
417564f7dfdSStefano Stabellini     if (prod == cons)                                                         \
418564f7dfdSStefano Stabellini         return ring_size;                                                     \
419564f7dfdSStefano Stabellini                                                                               \
420564f7dfdSStefano Stabellini     if (prod > cons)                                                          \
421564f7dfdSStefano Stabellini         size = prod - cons;                                                   \
422564f7dfdSStefano Stabellini     else                                                                      \
423564f7dfdSStefano Stabellini         size = ring_size - (cons - prod);                                     \
424564f7dfdSStefano Stabellini     return size;                                                              \
425564f7dfdSStefano Stabellini }                                                                             \
426564f7dfdSStefano Stabellini                                                                               \
427564f7dfdSStefano Stabellini struct name##_data {                                                          \
428564f7dfdSStefano Stabellini     unsigned char *in; /* half of the allocation */                           \
429564f7dfdSStefano Stabellini     unsigned char *out; /* half of the allocation */                          \
430564f7dfdSStefano Stabellini }
431564f7dfdSStefano Stabellini 
432564f7dfdSStefano Stabellini #define DEFINE_XEN_FLEX_RING_AND_INTF(name)                                   \
433564f7dfdSStefano Stabellini struct name##_data_intf {                                                     \
434564f7dfdSStefano Stabellini     RING_IDX in_cons, in_prod;                                                \
435564f7dfdSStefano Stabellini                                                                               \
436564f7dfdSStefano Stabellini     uint8_t pad1[56];                                                         \
437564f7dfdSStefano Stabellini                                                                               \
438564f7dfdSStefano Stabellini     RING_IDX out_cons, out_prod;                                              \
439564f7dfdSStefano Stabellini                                                                               \
440564f7dfdSStefano Stabellini     uint8_t pad2[56];                                                         \
441564f7dfdSStefano Stabellini                                                                               \
442564f7dfdSStefano Stabellini     RING_IDX ring_order;                                                      \
443564f7dfdSStefano Stabellini     grant_ref_t ref[];                                                        \
444564f7dfdSStefano Stabellini };                                                                            \
445564f7dfdSStefano Stabellini DEFINE_XEN_FLEX_RING(name)
446564f7dfdSStefano Stabellini 
447a42089ddSJeremy Fitzhardinge #endif /* __XEN_PUBLIC_IO_RING_H__ */
448