Barrelfish
Data Fields
lmp_endpoint Struct Reference

LMP endpoint structure (including data accessed only by user code) More...

+ Collaboration diagram for lmp_endpoint:

Data Fields

struct lmp_endpointprev
 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)
 

Detailed Description

LMP endpoint structure (including data accessed only by user code)

Field Documentation

uint32_t lmp_endpoint::seen

Position in buffer processed by poll loop, but not necessarily consumed by the user


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