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

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

Completed in 35 milliseconds