ASYNC_COOKIE_MAX   84 kernel/async.c 	async_cookie_t ret = ASYNC_COOKIE_MAX;
ASYNC_COOKIE_MAX  275 kernel/async.c 	async_synchronize_cookie_domain(ASYNC_COOKIE_MAX, domain);