/* Returns an async_cookie_t that may be used for checkpointing later. @running may be used in the async_synchronize_*_domain() functions to wait within a certain synchronization domain rather than globally. A synchronization domain is specified via the running queue @running to use. Note: This function may be called from atomic or non-atomic contexts.  */
async_cookie_t async_schedule_domain(async_func_ptr *ptr, void *data, struct list_head *running)
/* Returns an async_cookie_t that may be used for checkpointing later. @running may be used in the async_synchronize_*_domain() functions to wait within a certain synchronization domain rather than globally. A synchronization domain is specified via the running queue @running to use. Note: This function may be called from atomic or non-atomic contexts.  */
async_cookie_t async_schedule_domain(async_func_ptr *ptr, void *data, struct list_head *running)
{
	return __async_schedule(ptr, data, running);
}