14Srgrimes/*- 2233124Stijl * This file is in the public domain. 34Srgrimes */ 4233124Stijl/* $FreeBSD: head/sys/amd64/include/reg.h 233124 2012-03-18 19:06:38Z tijl $ */ 54Srgrimes 6233124Stijl#include <x86/reg.h> 7