Index: kernel/generic/src/synch/rcu.c
===================================================================
--- kernel/generic/src/synch/rcu.c	(revision 78de83de52a9115dc77b09bb7029403dad8c2fb0)
+++ kernel/generic/src/synch/rcu.c	(revision 036e97cf14fc9f9a4783fbb16419e5aaf0793b2d)
@@ -1477,5 +1477,5 @@
 static bool wait_for_delaying_cpus(void)
 {
-	int delaying_cpu_cnt = atomic_get(&rcu.delaying_cpu_cnt);
+	int delaying_cpu_cnt = atomic_load(&rcu.delaying_cpu_cnt);
 
 	for (int i = 0; i < delaying_cpu_cnt; ++i) {