14Srgrimes/*- 2233124Stijl * This file is in the public domain. 34Srgrimes */ 4233124Stijl/* $FreeBSD$ */ 54Srgrimes 6233124Stijl#include <x86/reg.h> 7