| <assertions> | |
| <assertion id="1" tag="ref:XSH6:32990:32994"> | |
| The function | |
| int pthread_equal(pthread_t t1, pthread_t t2) | |
| compares the thread ids t1 and t2. It returns a non-zero | |
| value if t1 and t2 are equal, othersise it returns zero. | |
| No errors are defined. | |
| </assertion> | |
| <assertion id="2" tag="ref:XSH6TC2:33834:33834"> | |
| The function must not return EINTR | |
| </assertion> | |
| </assertions> |