Searched refs:be_state (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/tools/rumprun/platform/xen/xen/ |
H A D | pcifront.c | 62 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