src/sys/arch/xen/include/xen-public/arch-x86/hvm
