- unsigned int num_to_interleave; /* Number of request to interleave */
- /* If a process has a request with multiple possible responses like a */
- /* "WaitAny", then the following vector with the indexes to interleave */
- /* is additionally used. */
- unsigned int *requests_indexes; /* Indexes of the requests to interleave */