Index: kernel/generic/src/syscall/syscall.c
===================================================================
--- kernel/generic/src/syscall/syscall.c	(revision eec616bc34e4233a5e002814ad0f802ef63af58d)
+++ kernel/generic/src/syscall/syscall.c	(revision a2c58f6642dae539243221fb1f2a71c8611327e6)
@@ -49,5 +49,5 @@
 #include <synch/smc.h>
 #include <ddi/ddi.h>
-#include <event/event.h>
+#include <ipc/event.h>
 #include <security/cap.h>
 #include <sysinfo/sysinfo.h>