#ifndef PTE_TYPES_H #define PTE_TYPES_H #include <errno.h> #include <sys/types.h> #include <sys/timeb.h> #endif /* PTE_TYPES_H */