1#include <pthread.h> 2 3static pthread_rwlock_t lock = PTHREAD_RWLOCK_INITIALIZER; 4 5void __inhibit_ptc() 6{ 7 pthread_rwlock_wrlock(&lock); 8} 9 10void __acquire_ptc() 11{ 12 pthread_rwlock_rdlock(&lock); 13} 14 15void __release_ptc() 16{ 17 pthread_rwlock_unlock(&lock); 18} 19