resource manager: many resmgr_detach () requests;

I’ve read that if two or more resmgr_detach() requests come in
simultaneously,
only one of the requests is served.

Is this code correct:

dispatch_context_free(ctp);
resmgr_detach( dpp, id[0], 0 );
resmgr_detach( dpp, id[1], 0 );
resmgr_detach( dpp, id[2], 0 );
dispatch_destroy( dpp );

?