Lines Matching refs:cookie
105 if (!trans->in_kernel && trans->cookie == NO_COOKIE)
162 printf("CTX_SWITCH to tid %lu, tgid %lu, cookie %llx(%s)\n",
192 trans->cookie = pop_buffer_value(trans);
195 char const * name = verbose_cookie(trans->cookie);
196 verbprintf(vmisc, "COOKIE_SWITCH to cookie %s(%llx)\n",
197 name, trans->cookie);
207 /* subtlety: we must keep trans->cookie cached,
209 * we won't necessarily get a cookie switch on
249 /* subtlety: we must keep trans->cookie cached, even though it's
250 * meaningless for Xen - we won't necessarily get a cookie switch
298 .cookie = INVALID_COOKIE,
