/* * governor_pthread_wrapper.h * * Created on: Sep 26, 2012 * Author: alexey */ #ifndef GOVERNOR_PTHREAD_WRAPPER_H_ #define GOVERNOR_PTHREAD_WRAPPER_H_ #include <stdint.h> #endif /* GOVERNOR_PTHREAD_WRAPPER_H_ */