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

/barrelfish-master/usr/monitor/
H A Dmonitor_server.c773 struct send_cap_st { struct
789 struct send_cap_st *st = (struct send_cap_st*)e;
805 struct send_cap_st *send_st = (struct send_cap_st*)st_;
848 struct send_cap_st *st;

Completed in 80 milliseconds