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

/seL4-camkes-master/tools/rumprun/platform/xen/xen/
H A Dpcifront.c62 char *be_path, *be_state; local
81 be_state = (char *) bmk_xmalloc_bmk(bmk_strlen(be_path) + 7);
82 bmk_snprintf(be_state, bmk_strlen(be_path) + 7, "%s/state", be_path);
83 xenbus_watch_path_token(XBT_NIL, be_state, be_state, &events);
84 while ((err = xenbus_read(XBT_NIL, be_state, &msg)) != NULL || msg[0] > '4') {
89 xenbus_unwatch_path_token(XBT_NIL, be_state, be_state);
91 bmk_memfree(be_state, BMK_MEMWHO_WIREDBMK);
95 xenbus_watch_path_token(XBT_NIL, be_state, be_stat
[all...]

Completed in 24 milliseconds