Rev 2118 | Rev 2187 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2118 | Rev 2183 | ||
|---|---|---|---|
| Line 494... | Line 494... | ||
| 494 | void thread_detach(thread_t *t) |
494 | void thread_detach(thread_t *t) |
| 495 | { |
495 | { |
| 496 | ipl_t ipl; |
496 | ipl_t ipl; |
| 497 | 497 | ||
| 498 | /* |
498 | /* |
| 499 | * Since the thread is expected to not be already detached, |
499 | * Since the thread is expected not to be already detached, |
| 500 | * pointer to it must be still valid. |
500 | * pointer to it must be still valid. |
| 501 | */ |
501 | */ |
| 502 | ipl = interrupts_disable(); |
502 | ipl = interrupts_disable(); |
| 503 | spinlock_lock(&t->lock); |
503 | spinlock_lock(&t->lock); |
| 504 | ASSERT(!t->detached); |
504 | ASSERT(!t->detached); |