Searched refs:span_domain_request (Results 1 - 3 of 3) sorted by relevance
| /barrelfish-master/usr/monitor/ |
| H A D | monitor_server.c | 864 static void span_domain_request(struct monitor_binding *mb, function
928 err = ib->tx_vtbl.span_domain_request(ib, NOP_CONT, state_id,
996 .span_domain_request = span_domain_request,
|
| H A D | inter.c | 327 static void span_domain_request(struct intermon_binding *b, function
741 .span_domain_request = span_domain_request,
|
| /barrelfish-master/lib/barrelfish/ |
| H A D | domain.c | 587 span_domain_request(mb, NOP_CONT, (uintptr_t)st, st->core_id, st->vroot,
601 DEBUG_ERR(err, "span_domain_request");
|
Completed in 91 milliseconds