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