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

/barrelfish-master/usr/monitor/
H A Dmonitor_server.c873 uintptr_t state_id; local
875 err = span_state_alloc(&state, &state_id);
928 err = ib->tx_vtbl.span_domain_request(ib, NOP_CONT, state_id,
944 if(state_id != 0) {
945 err2 = span_state_free(state_id);
H A Dinter.c328 state_id_t state_id, genpaddr_t vnodebase,
397 err2 = b->tx_vtbl.span_domain_reply(b, NOP_CONT, state_id, err);
412 uint64_t state_id, errval_t msgerr)
415 struct span_state *state = span_state_lookup(state_id);
422 err = span_state_free(state_id);
327 span_domain_request(struct intermon_binding *b, state_id_t state_id, genpaddr_t vnodebase, genpaddr_t framebase, gensize_t framebytes) argument
411 span_domain_reply(struct intermon_binding *b, uint64_t state_id, errval_t msgerr) argument

Completed in 40 milliseconds