|
Barrelfish
|
LMP endpoint structure (including data accessed only by user code) More...
Collaboration diagram for lmp_endpoint: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
1.8.11