void EventSync(void)
{
EventKind kind;
for (kind = 0; kind < EventKindLIMIT; ++kind)
(void)EventFlush(kind);
(void)mps_io_flush(eventIO);
}
Res EventSync(void)
{
Res resIO;
EventFlush();
resIO = mps_io_flush(eventIO);
return (eventError != ResOK) ? eventError : resIO;
}
Res EventSync(void)
{
Res resEv, resIO;
resEv = EventFlush();
resIO = mps_io_flush(eventIO);
return (resEv != ResOK) ? resEv : resIO;
}
/* EventAdd -- add an event to the buffer */
void EventAdd(Event ev, size_t length)
{
AVER(eventInited);
if (!mps_lib_event_filter(ev, length))
return ;
if(length > (size_t)(EventLimit - EventNext))
EventFlush(); /* @@@@ should pass length */
/** \todo ajcd 2012-08-02: This is not thread-safe. Does it need to be, or
are the callers all locked? */
AVER(length <= (size_t)(EventLimit - EventNext));
(void)mps_lib_memcpy(EventNext, ev, length);
EventNext += length ;
}