Searched defs:lmp_delivered (Results 1 - 2 of 2) sorted by last modified time

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

Completed in 54 milliseconds