|
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.
1.8.11