11817Sdg/*- 2233209Stijl * This file is in the public domain. 31817Sdg */ 4233209Stijl/* $FreeBSD$ */ 51817Sdg 6233209Stijl#include <x86/sysarch.h> 7