Index: kernel/generic/src/ipc/ipc.c
===================================================================
--- kernel/generic/src/ipc/ipc.c	(revision 036e97cf14fc9f9a4783fbb16419e5aaf0793b2d)
+++ kernel/generic/src/ipc/ipc.c	(revision e38ff160637d9169d43e3fccb9091511e0c29923)
@@ -154,5 +154,5 @@
 	list_initialize(&box->answers);
 	list_initialize(&box->irq_notifs);
-	atomic_set(&box->active_calls, 0);
+	atomic_store(&box->active_calls, 0);
 	box->task = task;
 }
@@ -204,5 +204,5 @@
 	phone->callee = NULL;
 	phone->state = IPC_PHONE_FREE;
-	atomic_set(&phone->active_calls, 0);
+	atomic_store(&phone->active_calls, 0);
 	phone->kobject = NULL;
 }