11817Sdg/*- 2233209Stijl * This file is in the public domain. 31817Sdg */ 4233209Stijl/* $FreeBSD: releng/11.0/sys/amd64/include/sysarch.h 233209 2012-03-19 21:57:31Z tijl $ */ 51817Sdg 6233209Stijl#include <x86/sysarch.h> 7