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); |