Barrelfish
|
LMP endpoint structure (including data accessed only by user code) More...
Data Fields | |
struct lmp_endpoint * | prev |
Next/prev endpoint in poll list. | |
struct capref | recv_slot |
Receive slot. | |
struct waitset_chanstate | waitset_state |
Waitset per-channel state. | |
uint32_t | buflen |
Length of endpoint buffer (in words) | |
uint32_t | seen |
struct lmp_endpoint_kern | k |
Public part (shared with kernel) | |
LMP endpoint structure (including data accessed only by user code)
uint32_t lmp_endpoint::seen |
Position in buffer processed by poll loop, but not necessarily consumed by the user