Searched refs:state_id (Results 1 - 2 of 2) sorted by relevance
/barrelfish-master/usr/monitor/ |
H A D | monitor_server.c | 873 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 D | inter.c | 328 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