Barrelfish
|
State for indirect (via monitor) cap tx/rx machinery. More...
Data Fields | |
bool | tx_cap_ack |
Waiting to send a cap ack (for current rx message) | |
bool | rx_cap_ack |
Have seen a cap ack (for current tx message) | |
bool | monitor_mutex_held |
We hold the monitor binding mutex (for current tx message) | |
int | tx_capnum |
Number of capabilities transmitted. | |
int | rx_capnum |
Number of capabilities received. | |
void(* | cap_send_continuation )(void *binding) |
Continuation for cap transmission. | |
State for indirect (via monitor) cap tx/rx machinery.