Barrelfish
Data Fields
flounder_cap_state Struct Reference

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.
 

Detailed Description

State for indirect (via monitor) cap tx/rx machinery.


The documentation for this struct was generated from the following file: