-/* Tables with the requests to handle at the end of this round of scheduling
- * user processes. There is one for each thread of execution. */
-static xbt_swag_t *req_lists;
-
-void SIMIX_request_init(void)
-{
- s_smx_req_t req;
- int i, nthreads = SIMIX_context_get_nthreads();
-
- req_lists = xbt_new0(xbt_swag_t, nthreads);
- for(i=0; i < nthreads; i++)
- req_lists[i] = xbt_swag_new(xbt_swag_offset(req, reqtable_hookup));
-
-}
-
-void SIMIX_request_destroy(void)
-{
- int i, nthreads = SIMIX_context_get_nthreads();
-
- for(i=0; i < nthreads; i++)
- xbt_swag_free(req_lists[i]);
-
- xbt_free(req_lists);
-}
-
-xbt_swag_t SIMIX_request_get_reqlist(int thread_pid)
-{
- return req_lists[thread_pid];
-}
-