Index: kernel/generic/include/ipc/event.h
===================================================================
--- kernel/generic/include/ipc/event.h	(revision 97d42d5e11dcee14940db22d71b410bb48103e65)
+++ kernel/generic/include/ipc/event.h	(revision 1f44b056db3d816e1499e0bda907dd58334829b1)
@@ -36,5 +36,5 @@
 #define KERN_EVENT_H_
 
-#include <ipc/event_types.h>
+#include <abi/ipc/event.h>
 #include <typedefs.h>
 #include <synch/spinlock.h>