/* This function waits until all asynchronous function calls have been done.  */
void async_synchronize_full(void)
/* This function waits until all asynchronous function calls have been done.  */
void async_synchronize_full(void)
{
	do {
		async_synchronize_cookie(next_cookie);
	} while (!list_empty(&async_running) || !list_empty(&async_pending));
}