Searched defs:delivered (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/include/barrelfish_kpi/
H A Dlmp.h30 uint32_t delivered; ///< Position in buffer (words delivered by kernel) member in struct:lmp_endpoint_kern
/barrelfish-master/lib/barrelfish/
H A Dlmp_endpoints.c175 uint32_t delivered = ep->k.delivered; local
[all...]

Completed in 14 milliseconds