/* Returns an async_cookie_t that may be used for checkpointing later. Note: This function may be called from atomic or non-atomic contexts.  */
async_cookie_t async_schedule(async_func_ptr *ptr, void *data)
/* Returns an async_cookie_t that may be used for checkpointing later. Note: This function may be called from atomic or non-atomic contexts.  */
async_cookie_t async_schedule(async_func_ptr *ptr, void *data)
{
	return __async_schedule(ptr, data, &async_running);
}