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

/barrelfish-2018-10-04/include/barrelfish_kpi/
H A Ddispatcher_shared.h45 uint32_t lmp_delivered, lmp_seen; ///< # LMP words delivered and seen member in struct:dispatcher_shared_generic
/barrelfish-2018-10-04/lib/barrelfish/
H A Dlmp_endpoints.c179 uint32_t lmp_delivered = disp->lmp_delivered; local

Completed in 37 milliseconds