/* This file is automagically generated by ptl-include1.pl */

/*#ifndef __PTL_INCLUDE__MACHINE_VM86_H*/
/*#define __PTL_INCLUDE__MACHINE_VM86_H*/

#include <sys/pthread-init.h>

#ifdef __PTL_RENAMED__
#define __PTL_ALREADY_RENAMED__MACHINE_VM86_H
#else
#include <sys/pthread-before.h>
#endif

#ifdef __GNUC__
#include <00root-gcc/machine/vm86.h>
#else
#include <00root-system/machine/vm86.h>
#endif

#ifdef __PTL_ALREADY_RENAMED__MACHINE_VM86_H
#include <sys/pthread-before.h>
#undef __PTL_ALREADY_RENAMED__MACHINE_VM86_H
#else
#include <sys/pthread-after.h>
#endif

/*#endif*/ /* __PTL_INCLUDE__MACHINE_VM86_H */
