15b81b6b3SRodney W. Grimes /*- 2*8b4a1ed0STijl Coosemans * This file is in the public domain. 35b81b6b3SRodney W. Grimes */ 4*8b4a1ed0STijl Coosemans /* $FreeBSD$ */ 55b81b6b3SRodney W. Grimes 6*8b4a1ed0STijl Coosemans #include <x86/trap.h> 7