Rev 1544 | Rev 1594 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1544 | Rev 1587 | ||
---|---|---|---|
Line 145... | Line 145... | ||
145 | * it is safe not to lock its mutex. |
145 | * it is safe not to lock its mutex. |
146 | */ |
146 | */ |
147 | 147 | ||
148 | ipl = interrupts_disable(); |
148 | ipl = interrupts_disable(); |
149 | spinlock_lock(&inactive_as_with_asid_lock); |
149 | spinlock_lock(&inactive_as_with_asid_lock); |
- | 150 | ||
150 | if (as->asid != ASID_INVALID && as->asid != ASID_KERNEL) { |
151 | if (as->asid != ASID_INVALID && as != AS_KERNEL) { |
- | 152 | if (!as->cpu_refcount) |
|
151 | list_remove(&as->inactive_as_with_asid_link); |
153 | list_remove(&as->inactive_as_with_asid_link); |
152 | asid_put(as->asid); |
154 | asid_put(as->asid); |
153 | } |
155 | } |
154 | spinlock_unlock(&inactive_as_with_asid_lock); |
156 | spinlock_unlock(&inactive_as_with_asid_lock); |
155 | 157 |