#if defined(BINDGEN_XENCONTROL)
# include <xenctrl.h>
#endif
#if defined(BINDGEN_XENDEVICEMODEL)
# include <xendevicemodel.h>
#endif
#if defined(BINDGEN_XENEVTCHN)
# include <xenevtchn.h>
#endif
#if defined(BINDGEN_XENFOREIGNMEMORY)
# include <xenforeignmemory.h>
#endif
#if defined(BINDGEN_XENSTORE)
# include <xenstore.h>
#endif
#if defined(BINDGEN_VM_EVENT)
# include <xen/vm_event.h>
#endif