diff options
| -rw-r--r-- | xen/common/event_fifo.c | 1 | ||||
| -rw-r--r-- | xen/include/xen/sched.h | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/xen/common/event_fifo.c b/xen/common/event_fifo.c index eb0b97c9a5..bec8d8789f 100644 --- a/xen/common/event_fifo.c +++ b/xen/common/event_fifo.c @@ -16,6 +16,7 @@ #include <xen/event_fifo.h> #include <xen/paging.h> #include <xen/mm.h> +#include <xen/domain_page.h> #include <public/event_channel.h> diff --git a/xen/include/xen/sched.h b/xen/include/xen/sched.h index c2588a5f86..25bf63776a 100644 --- a/xen/include/xen/sched.h +++ b/xen/include/xen/sched.h @@ -24,6 +24,7 @@ #include <public/sysctl.h> #include <public/vcpu.h> #include <public/mem_event.h> +#include <public/event_channel.h> #ifdef CONFIG_COMPAT #include <compat/vcpu.h> |