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