diff options
Diffstat (limited to 'lib/events/events.c')
-rw-r--r-- | lib/events/events.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/events/events.c b/lib/events/events.c index 42130d5e8..5919d3b34 100644 --- a/lib/events/events.c +++ b/lib/events/events.c @@ -25,6 +25,11 @@ static void send_event_common(event_t *event, unsigned int inc) event->cnt += inc; spin_unlock(&event->lock); + /* + * Make sure the cnt increment is observable by all CPUs + * before the event is sent. + */ + dsbsy(); sev(); } |