--- tools/blktap2/control/tap-ctl-allocate.c 2016-04-25 22:33:15.444681888 -0700 +++ tools/blktap2/control/tap-ctl-allocate.c 2016-04-25 22:30:33.288046037 -0700 @@ -36,6 +36,7 @@ #include #include #include +#include #include #include "tap-ctl.h" --- tools/libxl/libxl_osdeps.h 2016-04-25 22:55:04.326527630 -0700 +++ tools/libxl/libxl_osdeps.h 2016-04-25 22:53:36.315440845 -0700 @@ -35,6 +35,7 @@ #define SYSFS_PCIBACK_DRIVER "/sys/bus/pci/drivers/pciback" #define NETBACK_NIC_NAME "vif%u.%d" #include +#include #elif defined(__sun__) #include #elif defined(__FreeBSD__)