diff --git a/hw/xen.h b/hw/xen.h
index 3c8da4105d..780dcf713a 100644
--- a/hw/xen.h
+++ b/hw/xen.h
@@ -6,6 +6,7 @@
  *   must not depend on any xen headers being present in
  *   /usr/include/xen, so it can be included unconditionally.
  */
+#include <inttypes.h>
 
 /* xen-machine.c */
 enum xen_mode {