1 /* 2 * This file and its contents are supplied under the terms of the 3 * Common Development and Distribution License ("CDDL"), version 1.0. 4 * You may only use this file in accordance with the terms of version 5 * 1.0 of the CDDL. 6 * 7 * A full copy of the text of the CDDL should have accompanied this 8 * source. A copy of the CDDL is also available via the Internet at 9 * http://www.illumos.org/license/CDDL. 10 */ 11 12 /* 13 * Copyright 2013 Pluribus Networks Inc. 14 * Copyright 2017 Joyent, Inc. 15 */ 16 17 #ifndef _COMPAT_FREEBSD_AMD64_MACHINE_VMM_H_ 18 #define _COMPAT_FREEBSD_AMD64_MACHINE_VMM_H_ 19 20 #include <sys/vmm.h> 21 22 #ifdef _KERNEL 23 #include <sys/_cpuset.h> 24 #include <sys/vmm_kernel.h> 25 #endif 26 27 #endif /* _COMPAT_FREEBSD_AMD64_MACHINE_VMM_H_ */ 28