Rev 1585 | Rev 1595 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1585 | Rev 1589 | ||
|---|---|---|---|
| Line 546... | Line 546... | ||
| 546 | /** Check whether thread exists. |
546 | /** Check whether thread exists. |
| 547 | * |
547 | * |
| 548 | * Note that threads_lock must be already held and |
548 | * Note that threads_lock must be already held and |
| 549 | * interrupts must be already disabled. |
549 | * interrupts must be already disabled. |
| 550 | * |
550 | * |
| - | 551 | * When a thread is found in threads_btree, it is guaranteed to exist as long |
|
| - | 552 | * as the threads_lock is held. |
|
| - | 553 | * |
|
| 551 | * @param t Pointer to thread. |
554 | * @param t Pointer to thread. |
| 552 | * |
555 | * |
| 553 | * @return True if thread t is known to the system, false otherwise. |
556 | * @return True if thread t is known to the system, false otherwise. |
| 554 | */ |
557 | */ |
| 555 | bool thread_exists(thread_t *t) |
558 | bool thread_exists(thread_t *t) |