1a9643ea8Slogwang /*- 2*22ce4affSfengbojiang * This file is in the public domain. 3a9643ea8Slogwang */ 4*22ce4affSfengbojiang /* $FreeBSD$ */ 5a9643ea8Slogwang 6a9643ea8Slogwang #include <x86/cputypes.h> 7