aboutsummaryrefslogtreecommitdiff
path: root/lib/events/events.c
diff options
context:
space:
mode:
Diffstat (limited to 'lib/events/events.c')
-rw-r--r--lib/events/events.c5
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();
}