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

/barrelfish-master/usr/monitor/
H A Dmonitor_server.c762 static void set_spawn_iref_request(struct monitor_binding *b, iref_t iref) function
990 .set_spawn_iref_request = set_spawn_iref_request,
/barrelfish-master/usr/spawnd/
H A Dservice.c884 err = mb->tx_vtbl.set_spawn_iref_request(mb, NOP_CONT, iref);
886 USER_PANIC_ERR(err, "failed to send set_spawn_iref_request to "

Completed in 38 milliseconds