1eca69d62SDavid E. O'Brien /*- 2*5b2a5decSTijl Coosemans * This file is in the public domain. 3eca69d62SDavid E. O'Brien */ 4*5b2a5decSTijl Coosemans /* $FreeBSD$ */ 5eca69d62SDavid E. O'Brien 6*5b2a5decSTijl Coosemans #include <x86/stdarg.h> 7