1231200Smm/*- 2231200Smm * This file is in the public domain. 3231200Smm */ 4231200Smm/* $FreeBSD$ */ 5231200Smm 6231200Smm#include <i386/cpufunc.h> 7231200Smm