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