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