diff --git a/platform/linux-generic/odp_schedule_basic.c b/platform/linux-generic/odp_schedule_basic.c
index 69fbf7d6fe..bba70a76aa 100644
--- a/platform/linux-generic/odp_schedule_basic.c
+++ b/platform/linux-generic/odp_schedule_basic.c
@@ -1196,7 +1196,7 @@ static inline int balance_spread(int grp, int prio, int cur_spr)
 	return new_spr;
 }
 
-static inline int copy_from_stash(odp_event_t out_ev[], uint32_t max)
+static inline int copy_from_stash(odp_event_t *restrict out_ev, uint32_t max)
 {
 	int i = 0;