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