16a306bffSRoger Pau Monné /*- 26a306bffSRoger Pau Monné * This file is in the public domain. 341c24a46SKip Macy */ 441c24a46SKip Macy 56a306bffSRoger Pau Monné #include <x86/xen/xen-os.h> 6