14Srgrimes/*- 2233207Stijl * This file is in the public domain. 34Srgrimes */ 4233207Stijl/* $FreeBSD$ */ 54Srgrimes 6233207Stijl#include <x86/specialreg.h> 7