Searched refs:captx_state (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/usr/monitor/ | ||
| H A D | monitor_server.c | 779 struct captx_prepare_state captx_state; member in struct:send_cap_st 860 captx_prepare_send(cap, conn->core_id, true, &st->captx_state, |
Completed in 80 milliseconds