Searched refs:user_token (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/tools/rumprun/platform/xen/librumpxen_xendev/
H A Dbusdev_user.c72 char *path, *user_token; member in struct:xenbus_dev_watch
91 xbd_free(watch->user_token);
118 !strcmp(token, watch->user_token))
278 watch->user_token = xbd_strdup(wtoken);
279 if (!watch->path || !watch->user_token) {
331 " wpath=%s user_token=%s epath=%s xb.token=%s\n",
333 watch->path, watch->user_token,
344 WATCH_MESSAGE_PART_STRING(PART,watch->user_token)

Completed in 75 milliseconds