/*- * This file is in the public domain. */ /* $FreeBSD: releng/11.0/sys/amd64/include/xen/xen-os.h 289685 2015-10-21 10:04:35Z royger $ */ #include