16720dfdcSJeremy Soller #ifndef _OS_SUPPORT_H_ 26720dfdcSJeremy Soller #define _OS_SUPPORT_H_ 36720dfdcSJeremy Soller 46720dfdcSJeremy Soller #ifdef __cplusplus 56720dfdcSJeremy Soller extern "C" { 66720dfdcSJeremy Soller #endif // __cplusplus 76720dfdcSJeremy Soller 86720dfdcSJeremy Soller #include <sys/types.h> 96720dfdcSJeremy Soller 106720dfdcSJeremy Soller // XXX 11*cf594e68SJeremy Soller typedef pid_t pte_osThreadHandle; 126720dfdcSJeremy Soller typedef unsigned long pte_osSemaphoreHandle; 136720dfdcSJeremy Soller typedef int32_t* pte_osMutexHandle; 146720dfdcSJeremy Soller 156720dfdcSJeremy Soller #include <pte_generic_osal.h> 166720dfdcSJeremy Soller 176720dfdcSJeremy Soller #ifdef __cplusplus 186720dfdcSJeremy Soller } 196720dfdcSJeremy Soller #endif // __cplusplus 206720dfdcSJeremy Soller 216720dfdcSJeremy Soller #endif // _OS_SUPPORT_H 22