diff options
Diffstat (limited to 'xen/common/event_fifo.c')
| -rw-r--r-- | xen/common/event_fifo.c | 1 |
1 files changed, 1 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> |