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}