/*- * This file is in the public domain. */ /* $FreeBSD: releng/10.3/sys/i386/include/specialreg.h 233207 2012-03-19 21:34:11Z tijl $ */ #include