/** @file\r
Event Channel function implementation.\r
\r
- Event channel are use to notify of an event that happend in a shared\r
+ Event channel are use to notify of an event that happened in a shared\r
structure for example.\r
\r
Copyright (C) 2014, Citrix Ltd.\r
\r
**/\r
#include "EventChannel.h"\r
-#include "XenHypercall.h"\r
+\r
+#include <Library/XenHypercallLib.h>\r
\r
UINT32\r
XenEventChannelNotify (\r