1.23
2.0
main
test-branch
| Rev | Line | |
|---|
| [b0dfafb] | 1 | /*
|
|---|
| 2 | All specification references correspond to pages in the Standard for Information Technology
|
|---|
| 3 | Portable Operating System Interface (POSIX)IEEE Computer Society Base Specifications, Issue 7.
|
|---|
| 4 |
|
|---|
| 5 | Standard modifications to each translation:
|
|---|
| 6 | header files are altered
|
|---|
| 7 | errors are changed to assertion violations with appropriate messages
|
|---|
| 8 | appropriate definitions are changed to input variables
|
|---|
| 9 | */
|
|---|
| 10 |
|
|---|
| [8a9124e] | 11 | #ifdef __PTHREAD__
|
|---|
| 12 | #else
|
|---|
| 13 | #define __PTHREAD__
|
|---|
| 14 |
|
|---|
| [b0dfafb] | 15 | #include <civlc.h>
|
|---|
| 16 | #include <stdio.h>
|
|---|
| 17 | #include <stdlib.h>
|
|---|
| 18 | #include <assert.h>
|
|---|
| 19 | #include <stdbool.h>
|
|---|
| 20 | #include <pthread.cvl>
|
|---|
| [eae2618] | 21 | int pthread_mutex_lock(pthread_mutex_t *mutex);
|
|---|
| [b0dfafb] | 22 | #include <pthread-c.cvl>
|
|---|
| 23 |
|
|---|
| [8a9124e] | 24 | #endif
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
